diff --git a/edit.html b/edit.html index 897e9601..68de7a1e 100644 --- a/edit.html +++ b/edit.html @@ -25,7 +25,6 @@ - diff --git a/edit/edit.js b/edit/edit.js index e60a30e6..05df8091 100644 --- a/edit/edit.js +++ b/edit/edit.js @@ -582,7 +582,6 @@ function showCodeMirrorPopup(title, html, options) { foldGutter: true, gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter', 'CodeMirror-lint-markers'], matchBrackets: true, - // lint: linterConfig.getForCodeMirror(), styleActiveLine: true, theme: prefs.get('editor.theme'), keyMap: prefs.get('editor.keyMap')