X-Git-Url: http://git.roojs.org/?a=blobdiff_plain;f=src%2FBuilder4%2FEditor.bjs;h=51641c384154f26e53928ef80c5d7e7adfd6285a;hb=a4d742169ad9fd255e938cebe2e6fec2c7121979;hp=79d63cb907e8a36d475ac0358080f60f3db6b5e6;hpb=a3bc4d05fe08b2714d5bca8b7539560ab4858f32;p=roobuilder diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs index 79d63cb90..51641c384 100644 --- a/src/Builder4/Editor.bjs +++ b/src/Builder4/Editor.bjs @@ -1094,7 +1094,9 @@ "\t}", "\tvar ar = this.file.getErrors();", "\tif (ar.size < 1) {", - "\t\tbuf.remove_source_marks (start, end, null);", + "\t\tbuf.remove_source_marks (start, end, \"ERR\");", + "\t\tbuf.remove_source_marks (start, end, \"WARN\");", + "\t\tbuf.remove_source_marks (start, end, \"DEPR\");", "\t\tbuf.remove_tag_by_name (\"ERR\", start, end);", "\t\tbuf.remove_tag_by_name (\"WARN\", start, end);", "\t\tbuf.remove_tag_by_name (\"DEPR\", start, end);", @@ -1130,7 +1132,9 @@ "\t\t}", "\t", "\t}", - "\tbuf.remove_source_marks (start, end, null);", + "\tbuf.remove_source_marks (start, end, \"ERR\");", + "\tbuf.remove_source_marks (start, end, \"WARN\");", + "\tbuf.remove_source_marks (start, end, \"DEPR\");", "\tbuf.remove_tag_by_name (\"ERR\", start, end);", "\tbuf.remove_tag_by_name (\"WARN\", start, end);", "\tbuf.remove_tag_by_name (\"DEPR\", start, end);",