[6959] in testers
Re: ugly default font in terminal windows
daemon@ATHENA.MIT.EDU (Alex T Prengel)
Mon May 9 16:30:57 2005
Message-Id: <200505092030.j49KUj5r013053@dit.mit.edu>
To: Greg Hudson <ghudson@MIT.EDU>
cc: alexp@MIT.EDU, testers@MIT.EDU
In-Reply-To: Your message of "Mon, 09 May 2005 15:28:54 EDT."
<1115666934.25661.70.camel@egyptian-gods.mit.edu>
Date: Mon, 09 May 2005 16:30:45 -0400
From: Alex T Prengel <alexp@MIT.EDU>
>> I got around to logging in as another user, and the problem doesn't show up-
>> so something in my home directory must be causing this- but I have no idea
>> what- any suggestions for what to try to fix it gratefully appreciated.
>
>Well, in gnome-terminal, Edit -> Current Profile. By default, the "use
>system terminal font" should be checked; if it isn't, check it.
>Assuming that isn't the problem, run gnome-font-properties (or get there
>from the control center), and look at the terminal font. The default
>seems to be Monospace 10.
Thanks a bunch! Got it fixed! The first suggestion didn't do it- I already
had "use system terminal font" checked, but on the second, I had terminal font
set to Sans. Resetting it to Monospace 10 did the right thing. I don't have
any recollection of having changed it, but at some long-ago time I might
have and forgotten. Or maybe the 9.4 update did it, somehow?
Anyhow- it's fine now-
Cheers,
A.
