From 92771216954f6522772d6d03c6438e89a51dd301 Mon Sep 17 00:00:00 2001 From: Tim Allen Date: Fri, 14 Feb 2020 17:27:36 +1100 Subject: [PATCH] rc lint: Change flag symbols for lint errors and warnings. As suggested in code review. --- rc/tools/lint.kak | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rc/tools/lint.kak b/rc/tools/lint.kak index d0632962..3774c365 100644 --- a/rc/tools/lint.kak +++ b/rc/tools/lint.kak @@ -133,7 +133,7 @@ define-command \ # Remember that an error or a warning occurs on this line.. if ($4 ~ /[Ee]rror/) { # We definitely have an error on this line. - flags_by_line[$2] = "{Error}!" + flags_by_line[$2] = "{Error}x" error_count++ } else if (flags_by_line[$2] ~ /Error/) { # We have a warning on this line, @@ -142,7 +142,7 @@ define-command \ } else { # We have a warning on this line, # and no previous error. - flags_by_line[$2] = "{Information}?" + flags_by_line[$2] = "{Information}!" warning_count++ }