Skip to content

Commit 57de5e8

Browse files
authored
Only highlight actual errors in PPhtml (#1713)
Don't highlight "ERROR" in "TERROR" in a chapter title, for example. Fixes #1710
1 parent bb975e3 commit 57de5e8

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/guiguts/tools/pphtml.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -110,9 +110,9 @@ def run(self) -> None:
110110

111111
self.dialog.display_entries()
112112
self.colorize_errors(PPhtmlChecker.fail_flag, HighlightTag.CHECKER_ERROR_PREFIX)
113-
self.colorize_errors("ERROR", HighlightTag.CHECKER_ERROR_PREFIX)
113+
self.colorize_errors("ERROR: ", HighlightTag.CHECKER_ERROR_PREFIX)
114114
self.colorize_errors(PPhtmlChecker.warn_flag, HighlightTag.CHECKER_WARNING)
115-
self.colorize_errors("WARNING", HighlightTag.CHECKER_WARNING)
115+
self.colorize_errors("WARNING: ", HighlightTag.CHECKER_WARNING)
116116
# Select first entry (which might not be one with a line number)
117117
self.dialog.select_entry_by_index(0)
118118

0 commit comments

Comments
 (0)