From f539f869b9abfab2fcdf98a0caa5517ff9ab349e Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 16 Apr 2023 08:23:49 -0400
Subject: [PATCH] Fix counting of error deletion in linter

Related feedback:
- https://github.com/uBlockOrigin/uAssets/discussions/17538#discussioncomment-5628053
---
 src/js/codemirror/ubo-static-filtering.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/js/codemirror/ubo-static-filtering.js b/src/js/codemirror/ubo-static-filtering.js
index 9811a5c26..fbbec376a 100644
--- 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';
             }
         });
     };