diff options
author | Pavel Roskin <proski@gnu.org> | 2015-02-07 18:34:16 -0500 |
---|---|---|
committer | Pavel Roskin <proski@gnu.org> | 2015-02-07 18:34:16 -0500 |
commit | 01b5166d5c77e0016c91a21d1a878895660bb5ba (patch) | |
tree | 877022e1c2b6ed3052105eb844d0443183dc198b | |
parent | 9e77f3f030bbf449d265110da392b59c8e234496 (diff) | |
download | pylint-01b5166d5c77e0016c91a21d1a878895660bb5ba.tar.gz |
Use green for info messages, lightblue is hard to see. Closes issue #474.
The checkbox label for informational messages is shown in light blue on
light gray, which is hard to see. Green is a good choice both visually
(not too bright, but clearly visible), and semantically (not a problem
with the code).
-rw-r--r-- | gui.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -38,7 +38,7 @@ from pylint.reporters.guireporter import GUIReporter HOME = os.path.expanduser('~/') HISTORY = '.pylint-gui-history' -COLORS = {'(I)':'lightblue', +COLORS = {'(I)':'green', '(C)':'blue', '(R)':'darkblue', '(W)':'black', '(E)':'darkred', '(F)':'red'} |