You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All "light" default colors (but oddly DARK_GREY, not LIGHT_GREY) are bold. I would come to the conclusion that these colors were not clearly distinguishable to the original author (based on their color scheme and terminal background), so they were made bold. Therefore, I would not deduce that green should be bold as well.
The colors and priority highlightings are easily customized in the config file; the one that's shipped is just a template and documents the built-in defaults. I personally would argue that changing the default would affect more (existing) users negatively (in that they have to recognize the change and adapt) than what the consistency would bring for new users.
If the desire is to change the color, rather than to use bold, it may be better to use escape codes 90-97 (which selects bright colors without causing them to be bold) instead of 30-31 bold actually. Some terminals don't even use bright for bold by default anymore.
BTW DARK_GREY is bold because it's actually bright black, and LIGHT_GREY is dark white.
The default
todo.cfg
contains:However, for consistency with the other priorities (which are bold), it should actually be:
The text was updated successfully, but these errors were encountered: