Updated editor default theme and some other options

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);