summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public/js/index.js5
1 files changed, 4 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js
index 40e5c5df..8e1bd41d 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -206,10 +206,11 @@ var editor = CodeMirror.fromTextArea(textit, {
lineNumbers: true,
lineWrapping: true,
showCursorWhenSelecting: true,
+ highlightSelectionMatches: true,
indentUnit: 4,
indentWithTabs: true,
continueComments: "Enter",
- theme: "monokai",
+ theme: "one-dark",
inputStyle: "textarea",
matchBrackets: true,
autoCloseBrackets: true,
@@ -220,6 +221,8 @@ var editor = CodeMirror.fromTextArea(textit, {
foldGutter: true,
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
extraKeys: defaultExtraKeys,
+ flattenSpans: true,
+ addModeClass: true,
readOnly: true
});
var inlineAttach = inlineAttachment.editors.codemirror4.attach(editor);