digitalmars.D.bugs - [Issue 18391] New: DMD color-highlighting should be user-definable
- d-bugmail puremagic.com (22/22) Feb 07 2018 https://issues.dlang.org/show_bug.cgi?id=18391
https://issues.dlang.org/show_bug.cgi?id=18391 Issue ID: 18391 Summary: DMD color-highlighting should be user-definable Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: bootcamp Severity: enhancement Priority: P1 Component: dmd Assignee: nobody puremagic.com Reporter: greensunny12 gmail.com A user should have the possibility to overwrite DMD's default color scheme, because - there are some issues with it (e.g. 18348) - people have different tastes Ideas: - color-XXX flags - dmd.conf --
Feb 07 2018