Should try bold version of font before pseudo-bolding
Submitted by Ralph Deeb
Description
gnome-terminal doesn't attempt to use the bold version of the terminal font to indicate bold on the console. It simply repaints the same unbolded font offset by one pixel, which results in making the bold sections of the console unreadable when using certain fonts that don't lend themselves to this sort of "pseudo-bolding" (for instance, when glyphs contain a lot of 1-pixel spaces and those get covered up in pseudo-bolding). These fonts already have a bold version, and that version should be used before trying pseudo-bolding. gnome-terminal should only fall back to pseudo-bolding if a bold version of the selected font is unavailable.
Resolution: RESOLVED FIXED