diff --git a/edit/lint-codemirror-helper.js b/edit/lint-codemirror-helper.js index d1c12f45..7b43a0d3 100644 --- a/edit/lint-codemirror-helper.js +++ b/edit/lint-codemirror-helper.js @@ -29,15 +29,9 @@ })), }; - function invokeHelper(code, options, cm) { + function invokeHelper(code) { const config = linterConfig.getCurrent(); return linterConfig.invokeWorker({code, config}) - .then(cookResults[linterConfig.getName()]) - .then(results => { - if (options && typeof options.preUpdateLinting === 'function') { - options.preUpdateLinting(cm); - } - return results; - }); + .then(cookResults[linterConfig.getName()]); } })(); diff --git a/edit/lint.js b/edit/lint.js index ff44300c..2e671b1e 100644 --- a/edit/lint.js +++ b/edit/lint.js @@ -43,11 +43,7 @@ var linterConfig = { return CodeMirror.lint && CodeMirror.lint[linter] ? { getAnnotations: CodeMirror.lint[linter], delay: prefs.get('editor.lintDelay'), - preUpdateLinting(cm) { - cm.startOperation(); - }, onUpdateLinting(annotationsNotSorted, annotations, cm) { - cm.endOperation(); updateLintReport(cm); }, } : false;