preUpdateLinting hack isn't needed since CM 5.33

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()]);
   }
 })();

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;