diff --git a/lib/backup-versions.php b/lib/backup-versions.php index 0921d02..39aa19d 100644 --- a/lib/backup-versions.php +++ b/lib/backup-versions.php @@ -40,22 +40,14 @@ $versions = $fileCountInfo['count']; .CodeMirror-foldgutter-folded {background: #800; color: #ddd} .CodeMirror-foldgutter-folded:after {position: relative; top: -3px} + /addon/fold/foldgutter.css?microtime="> - -'.PHP_EOL; -} -?> +/addon/scroll/simplescrollbars.css?microtime="> @@ -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: "" + theme: parent.parent.ICEcoder.theme }); editor.setSize("480px","500px");