Mirrors
/
uBlock
mirror of https://github.com/gorhill/uBlock.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Ensure error count is decrease when an error is fixed

This commit is contained in:
Raymond Hill 2023-04-04 16:55:47 -04:00
parent 767fcf9929
commit 028eee456f
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/js/codemirror/ubo-static-filtering.js
View File

@ -752,6 +752,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => {
const marker = extractMarker(lineHandle); const marker = extractMarker(lineHandle);
if ( error === undefined && marker ) { if ( error === undefined && marker ) {
doc.setGutterMarker(lineHandle, 'CodeMirror-lintgutter', null); doc.setGutterMarker(lineHandle, 'CodeMirror-lintgutter', null);
deleteMarker();
} else if ( error !== undefined ) { } else if ( error !== undefined ) {
makeMarker(doc, lineHandle, marker, error); makeMarker(doc, lineHandle, marker, error);
} }