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

Display simple scrollbars on preview

Browse Source
This commit is contained in:
mattpass
2020-03-08 10:38:23 +00:00
parent edd7e4f8dc
commit af3e76f853
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/settings-screen.php
View File

@@ -35,6 +35,7 @@ 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="settings">
@@ -361,7 +362,8 @@ var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
indentUnit: parent.parent.ICEcoder.indentSize,
tabSize: parent.parent.ICEcoder.indentSize,
mode: "javascript",
theme: "<?php echo $ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"];?>"
theme: "<?php echo $ICEcoder["theme"]=="default" ? 'icecoder' : $ICEcoder["theme"];?>",
scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay'
});
var input = document.getElementById("select");