From a984172b9d7057c48c457e8a64cf14aabaa1609a Mon Sep 17 00:00:00 2001 From: Juergen Key Date: Sun, 18 Aug 2019 09:48:44 +0200 Subject: [PATCH] fixes #2 --- shellcheck/outputpanel.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/shellcheck/outputpanel.py b/shellcheck/outputpanel.py index f14587b..c731d17 100644 --- a/shellcheck/outputpanel.py +++ b/shellcheck/outputpanel.py @@ -90,9 +90,13 @@ def update(self, report_json): item["line"], item["column"], item["code"], urllib.request.unquote(item["message"])) color = "white" - if item["level"] == 'warning': + if item["level"] == 'info': + color = "lightgray" + elif item["level"] == 'style': + color = "lightblue" + elif item["level"] == 'warning': color = "yellow" - if item["level"] == 'error': + elif item["level"] == 'error': color = "red" self._tree_view.get_model().append([ item["line"], item["column"],