On Sun, 09 Jan 2011 10:06:55 -0800 Bart Schaefer wrote:
With gnome-terminal you have to configure the desired appearance as a Profile and use the Terminal menu. I just created one with Edit -> Profiles... and chose to base it on the Default profile, named it Maximize, turned off "Use the system terminal font" on the next dialog and chose "Monospace 24" as the font, which is the largest one that won't push part of the window off the screen. Now Terminal -> Change Profile -> Maximize gives me a huge 80x24 terminal.
Interesting. I will play with this scheme.
Thanks!