diff --git a/lib/settings-screen.php b/lib/settings-screen.php index e85378c..2619e1c 100644 --- a/lib/settings-screen.php +++ b/lib/settings-screen.php @@ -35,6 +35,7 @@ for ($i=0;$i'.PHP_EOL; } ?> +/addon/scroll/simplescrollbars.css?microtime="> @@ -361,7 +362,8 @@ var editor = CodeMirror.fromTextArea(document.getElementById("code"), { indentUnit: parent.parent.ICEcoder.indentSize, tabSize: parent.parent.ICEcoder.indentSize, mode: "javascript", - theme: "" + theme: "", + scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay' }); var input = document.getElementById("select");