Fix counting of error deletion in linter

Related feedback: - uBlockOrigin/uAssets#17538 (comment)
gorhill · Apr 16, 2023 · f539f86 · f539f86
1 parent b2f2611
commit f539f86
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/js/codemirror/ubo-static-filtering.js b/src/js/codemirror/ubo-static-filtering.js
@@ -840,6 +840,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => {
             if ( marker === null ) { return; }
             if ( marker.dataset.lint === 'error' ) {
                 errorCount -= 1;
+                marker.dataset.lint = 'void';
             }
         });
     };