Fix counting of error deletion in linter

Related feedback:
- https://github.com/uBlockOrigin/uAssets/discussions/17538#discussioncomment-5628053
This commit is contained in:
Raymond Hill 2023-04-16 08:23:49 -04:00
parent b2f2611348
commit f539f869b9
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 1 additions and 0 deletions

View File

@ -840,6 +840,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => {
if ( marker === null ) { return; } if ( marker === null ) { return; }
if ( marker.dataset.lint === 'error' ) { if ( marker.dataset.lint === 'error' ) {
errorCount -= 1; errorCount -= 1;
marker.dataset.lint = 'void';
} }
}); });
}; };