font size

[Bob Holtzman]

On Fri, 13 Sep 2002, molossermom wrote:

> i'm in gnome, i've been the start >desktop preferences path, but there is no
> 'font' choice except the font type not the size. In preferences i can only
> go to ;background,panel,screensave,themes or window manager.
> i must be missing something.

If you're running Redhat try editing the font line in 
~/.gnome/gnome-terminal-cRHFbK. be sure to back it up first.

BTW let me know if it works.

-- 
Bob Holtzman
"If you think you're getting free lunch,
 ......check the price of the beer!"