gnome settings

Ben Stringer ben at burbong.com
Fri Jan 23 14:33:30 UTC 2004


On Sat, 2004-01-24 at 01:27, Globe Trotter wrote:
> Question: How does one change the font size, bg color, foreground color of a
> gnome terminal? 

Use the Edit->Current Profile menu item - it's all in there.

You can also create new profiles, and choose any profile as the default.

Cheers, Ben

-- 
.O.    Ben Stringer
..O    ben at burbong.com
OOO    linux|java|majitek|gnu





More information about the fedora-list mailing list