gnome settings

Fri Jan 23 14:38:17 UTC 2004

Am Fr, den 23.01.2004 schrieb Globe Trotter um 15:27:
> Question: How does one change the font size, bg color, foreground color of a
> gnome terminal? 
> 
> Thanks!

Open the gnome-terminal, go to menu point edit and choose profile.
Choose the profile and then change ...

Alexander

-- 
Alexander Dalloz | Enger, Germany
PGP key valid: made 13.07.1999
PGP fingerprint: 2307 88FD 2D41 038E 7416  14CD E197 6E88 ED69 5653