fix CSS linting in new CodeMirror

fixes #1317
2021-08-17 22:03:10 +03:00 · 2021-08-17 22:03:10 +03:00 · c08747202a
commit c08747202a
parent 6927fa5d70
1 changed files with 1 additions and 1 deletions
--- a/edit/linter-manager.js
+++ b/edit/linter-manager.js
@ -79,7 +79,7 @@ const linterMan = (() => {
  function getCachedAnnotations(code, opt, cm) {
    const results = cms.get(cm);
    cms.set(cm, null);
-    cm.options.lint.getAnnotations = getAnnotations;
+    cm.state.lint.options.getAnnotations = getAnnotations;
    return results;
  }