diff --git a/editor.php b/editor.php index 3a0ecd0..c7de4d8 100644 --- a/editor.php +++ b/editor.php @@ -28,7 +28,9 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint-2.5.6.min.js")) { + /addon/fold/foldgutter.css?microtime="> +/addon/scroll/simplescrollbars.css?microtime="> '; @@ -242,7 +244,7 @@ function createNewCMInstance(num) { autoCloseTags: top.ICEcoder.autoCloseTags, autoCloseBrackets: top.ICEcoder.autoCloseBrackets, highlightSelectionMatches: true, - scrollbarStyle: null, + scrollbarStyle: 'overlay', // null, 'native', 'simple', 'overlay' showTrailingSpace: top.ICEcoder.showTrailingSpace, lint: false, keyMap: "ICEcoder"