Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-08 01:26:47 +01:00
Code Issues Packages Projects Releases Wiki Activity

Backup versions theme and scrollbars set, rejig order

Browse Source
This commit is contained in:
mattpass
2020-03-14 08:31:20 +00:00
parent 46f4067511
commit 440c7cbb8b
1 changed files with 9 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
lib/backup-versions.php
View File

@@ -40,22 +40,14 @@ $versions = $fileCountInfo['count'];
.CodeMirror-foldgutter-folded {background: #800; color: #ddd}
.CodeMirror-foldgutter-folded:after {position: relative; top: -3px}
</style>
<link rel="stylesheet" href="<?php
echo ($ICEcoder["theme"] === "default"
? dirname(basename(__DIR__)).'/editor.css'
: "../".$ICEcoder["codeMirrorDir"].'/theme/'.$ICEcoder["theme"].'.css'
) . "?microtime=".microtime(true);
?>">
<link rel="stylesheet" href="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldgutter.css?microtime=<?php echo microtime(true);?>">
<link rel="stylesheet" href="editor.css?microtime=<?php echo microtime(true);?>">
<?php
$themeArray = array();
$handle = opendir('../'.$ICEcoder["codeMirrorDir"].'/theme/');
while (false !== ($cssFile = readdir($handle))) {
if ($cssFile !== "." && $cssFile != "..") {
array_push($themeArray,basename($cssFile,".css"));
}
}
sort($themeArray);
for ($i=0;$i<count($themeArray);$i++) {
echo '<link rel="stylesheet" href="../'.$ICEcoder["codeMirrorDir"].'/theme/'.$themeArray[$i].'.css?microtime='.microtime(true).'">'.PHP_EOL;
}
?>
<link rel="stylesheet" href="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/scroll/simplescrollbars.css?microtime=<?php echo microtime(true);?>">
</head>
<body class="backup-versions">
@@ -124,10 +116,11 @@ var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
matchBrackets: parent.parent.ICEcoder.matchBrackets,
electricChars: false,
highlightSelectionMatches: true,
scrollbarStyle: parent.parent.ICEcoder.scrollbarStyle,
showTrailingSpace: parent.parent.ICEcoder.showTrailingSpace,
lint: false,
readOnly: "nocursor",
theme: "<?php echo $ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"];?>"
theme: parent.parent.ICEcoder.theme
});
editor.setSize("480px","500px");