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.

Reply via email to