On Sunday, 14 May 2017 at 14:07:20 UTC, Walter Bright wrote:
It turned out to be unexpectedly easy to implement.
But color highlighting should always be configurable (otherwise
it's half done), because there are a lot of people who like
colors, but can't distinguish between certain color combinations,
because of a color disability. Or they might have poor displays
or viewing conditions etc.
I guess this should be simple to add, just output the colors into
an .ini file and read them back if the file exists.