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'; } }); };