-
Behdad Esfahbod authored
The current UI simply adds a Bold color in the Colors tab. I think we should also add a "Use different color for bold" checkbox before it, otherwise (that is, right now), you need to change both foreground and bold manually.
e5e0e959