diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2018-08-09 00:18:36 +0300 |
---|---|---|
committer | Dominik Ritter <dritter03@googlemail.com> | 2018-08-09 00:18:36 +0300 |
commit | 6f5827009fa3a39cc04ab205da2da44965d9a00c (patch) | |
tree | 50c09c504a6c1c8b0d756e51047b0e5477e8d5eb /test | |
parent | 424d41761d819e127309af0c31837b91f2bb24a1 (diff) |
Fix colors for visual identifiers
Make the visual identifier color use numerical color codes as well. This
way colors like "purple3" work as visual identifier color.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions