Date: 29 Apr 2002 17:23:37 -0400 From: Joe Marcus Clarke <marcus@marcuscom.com> To: "Kirk R. Wythers" <kwythers@umn.edu> Cc: freebsd-questions@FreeBSD.ORG Subject: Re: gnome terminal size Message-ID: <1020115421.85996.10.camel@gyros.marcuscom.com> In-Reply-To: <1020089215.71337.9.camel@lorax.forestry.umn.edu> References: <1020089215.71337.9.camel@lorax.forestry.umn.edu>
next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, 2002-04-29 at 11:06, Kirk R. Wythers wrote: > I just compiled the new gnome build (I wanted to take a look at it after > using kde for a long time). My question is this: > > How do you switch to a smaller terminal? The default terminal is rather > large. There is an option in kde to chose both terminal and font size. > Does something similar exist in gnome? You can change the font size in gnome-terminal, but the not the size of the terminal itself (unless of course, you drag the edges to shrink it). If you change the font to fixed 12-point, for example, the window does get much smaller. Joe > > Regards, > > Kirk > > -- > Kirk R. Wythers email: kwythers@umn.edu > University of Minnesota tel: 612.625.2261 > Department of Forest Resources fax: 612.625.5212 > Saint Paul, MN 55108 > > > > To Unsubscribe: send mail to majordomo@FreeBSD.org > with "unsubscribe freebsd-questions" in the body of the message > -- PGP Key: http://www.marcuscom.com/pgp.asc To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-questions" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1020115421.85996.10.camel>