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@xxxxxxxxxxx OOO linux|java|majitek|gnu
