[4693] in testers
Re: gnome-terminal and boldification
daemon@ATHENA.MIT.EDU (Greg Hudson)
Wed May 30 10:23:41 2001
Message-Id: <200105301423.KAA19856@egyptian-gods.MIT.EDU>
To: "David Z. Maze" <dmaze@MIT.EDU>
cc: testers@MIT.EDU
In-Reply-To: Your message of "30 May 2001 10:18:54 EDT."
<y68r8x6zzqp.fsf@x15-cruise-basselope.mit.edu>
Date: Wed, 30 May 2001 10:23:35 -0400
From: Greg Hudson <ghudson@MIT.EDU>
> Note that I do have the "Enable bold text" option disabled, since I
> don't want a difference in font width, but rather in color.
The bold weight version of fixed-width fonts should still have the
same width as the regular version, and it certainly seems to for the
default gnome-terminal font we use.
I believe xterm also uses the bold weight font rather than a color
change.
