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
