[Issue 18391] DMD color-highlighting should be user-definable

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Feb 7 17:02:00 UTC 2018


https://issues.dlang.org/show_bug.cgi?id=18391

--- Comment #2 from Seb <greensunny12 at gmail.com> ---
> I'd argue they kinda can by doing a palette swap in their console/terminal emulator.

Note that not all terminals are equal, my terminal has some issues with
boldness:

https://github.com/dlang/dmd/pull/7822

Also, there are and always will be personal preferences.
Should dmd really use boldness for the keywords? Why not white? Or pink? etc.

This is highly subjective and I don't see any reason why it shouldn't be
allowed.

--


More information about the Digitalmars-d-bugs mailing list