From c08747202af8d5989305198c71950f477df6c873 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 17 Aug 2021 22:03:10 +0300
Subject: [PATCH] fix CSS linting in new CodeMirror

fixes #1317
---
 edit/linter-manager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/linter-manager.js b/edit/linter-manager.js
index 526048cb..ad262933 100644
--- 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;
   }