diff --git a/edit/edit.js b/edit/edit.js index 8e62f9c6..73c7594a 100644 --- a/edit/edit.js +++ b/edit/edit.js @@ -604,7 +604,7 @@ function showCodeMirrorPopup(title, html, options) { foldGutter: true, gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter', 'CodeMirror-lint-markers'], matchBrackets: true, - lint: linterConfig.getForCodeMirror(), + // lint: linterConfig.getForCodeMirror(), styleActiveLine: true, theme: prefs.get('editor.theme'), keyMap: prefs.get('editor.keyMap')