Skip to content

ProblemHighlighter: Fix mark type handling

mark->type consists of the mark type flags combined with logical OR. The loop here intends to remove all error and warning mark types, but tests for equality with the flags, which fails if there is also another type of mark (e.g., a bookmark added with Ctrl+B) at the same line. This merge request changes it to handle this situation properly.

Edited by Thomas Schöps

Merge request reports