fix codemirror gutter managment

2013-10-29 17:24:46 +01:00
parent 7675d605ea
commit 1bbb99b548
1 changed files with 2 additions and 2 deletions
@@ -136,8 +136,8 @@ 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 = editor.getOption("gutters");
+        if ( preferences.linenumbers === 'true' && $.inArray('CodeMirror-linenumbers', gutters) === -1 ) {
            gutters.splice(0, 0, 'CodeMirror-linenumbers');
            editor.setOption("gutter", gutters);
        }