[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