Thanks, Jerry.

I guess we're talking about different programs here.
I'm in Gnome, and the terminal program is Gnome Terminal
which does not seem to have any options for text size
except on the command line.

You're talking about kterm, which I just now tried.
Your instructions worked, except I can't find a way
to control the background color as in Gnome Terminal.
But it is a big improvement for some purposes.

On Thu, 2002-07-11 at 22:23, Jerry Snitselaar wrote:
> Try <Ctrl><right-mouse button> this should bring up a menu
> which lists font sizes. <Ctrl><middle button> should give you
> a list of VT options and <Ctrl><left button> should bring up
> the main option menu.