From 028eee456fc0d516afac5ec08b8b2024265a55b3 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Tue, 4 Apr 2023 16:55:47 -0400 Subject: [PATCH] Ensure error count is decrease when an error is fixed --- 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 475a3458d..5f647b748 100644 --- a/src/js/codemirror/ubo-static-filtering.js +++ b/src/js/codemirror/ubo-static-filtering.js @@ -752,6 +752,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => { const marker = extractMarker(lineHandle); if ( error === undefined && marker ) { doc.setGutterMarker(lineHandle, 'CodeMirror-lintgutter', null); + deleteMarker(); } else if ( error !== undefined ) { makeMarker(doc, lineHandle, marker, error); }