[Github-comments] [geany/geany] Default COLOR_DARK_RED may soon no longer be "red" (Issue #3016)

elextr notifications at xxxxx
Tue Nov 23 23:34:15 UTC 2021


IIRC it was done this way to maintain backward compatibility when the CSS settings were added, they used to be hard coded colours.  Whilst I agree it would be nice to use a semantic name rather than a colour name its not important and it would have to be done in two steps.

1. make both the current and the new enumerators available in the enum but with the same value, and have the current enumerators deprecated for some period, then 
2. the current names can be removed.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3016#issuecomment-977281884
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211123/8a6e15e2/attachment.htm>


More information about the Github-comments mailing list