GNOME Bugzilla – Bug 595841
Allow setting color for bold text
Last modified: 2009-12-14 07:58:11 UTC
We have vte API for it already. Just need UI.
Maybe I'm boring... but I have never ever felt any need to change the color of bold text in a terminal. Does g-t really need to support this and add UI for it?
In small sizes, many bitmap fonts have identical bold and normal glyphs. Essential for keeping the monospace normal and bold faces have the same width.
I did a first round on this. Needs more UI though. ChPe, any chance you can finish this? (Or update the glade file again and send over to me? Thanks) commit e5e0e9598efaf63752a6e8899709c9844bf1ad9d Author: Behdad Esfahbod <behdad@behdad.org> Date: Fri Dec 11 18:07:38 2009 -0500 First shot at Bug 595841 - Allow setting color for bold text 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.
Fixed. commit 6480a2ac0517730868d16da4920aa76b0af60826 Author: Behdad Esfahbod <behdad@behdad.org> Date: Mon Dec 14 02:57:27 2009 -0500 Finish Bug 595841 - Allow setting color for bold text Add a "Bold color same as text color" checkbox.