'Highlight current line' & 'Display line numbers' options in admin editor

2013-10-24 16:16:41 +02:00
parent 94ddb6c11f
commit 6599e08d32
4 changed files with 21 additions and 6 deletions
@@ -136,6 +136,13 @@ function update_editor(preferences) {
        editor.setOption("indentUnit", parseInt(preferences.tabwidth));
        editor.setOption("tabSize", parseInt(preferences.tabwidth));
        editor.setOption("indentWithTabs", (preferences.indentwithtabs === 'true'));
+        if (preferences.linenumbers === 'true') {
+            gutters = editor.getOption("gutters");
+            gutters.splice(0, 0, 'CodeMirror-linenumbers');
+            editor.setOption("gutter", gutters);
+        }
+        editor.setOption("lineNumbers", (preferences.linenumbers === 'true'));
+        editor.setOption("styleActiveLine", (preferences.highlightline === 'true'));
    });
 }