Re: Terminal with variable sized font

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]



On Sun, Jan 9, 2011 at 9:47 AM, Frank Cox <theatre@xxxxxxxxxxx> wrote:
> On Sun, 09 Jan 2011 14:15:44 -0300
> Eduardo Grosclaude wrote:
>
>> How about running your app under 'screen', then fire up a second
>> gnome-terminal and attach to it with 'screen -x'. Zoom in as desired
>> with regular control-+ sequences. Then minimize and keep it lurking.
>
> Now that's clever!
>
> Unfortunately, the folks using the programs tend to keep 4 or 5 instances of it
> open on each of their desktops

Xterm ctrl-right-button menu lets you choose from among 7 different
font sizes, which can be assigned using X resources.  If they could be
trained to hit ctrl-right-button and select "Huge", the problem
devolves to one of finding the right font to assign to the resource.
Not quite as easy as clicking the maximize button, but close.

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.

I'm sure there are other terminal emulators that provide something similar.
_______________________________________________
CentOS mailing list
CentOS@xxxxxxxxxx
http://lists.centos.org/mailman/listinfo/centos


[Index of Archives]     [CentOS]     [CentOS Announce]     [CentOS Development]     [CentOS ARM Devel]     [CentOS Docs]     [CentOS Virtualization]     [Carrier Grade Linux]     [Linux Media]     [Asterisk]     [DCCP]     [Netdev]     [Xorg]     [Linux USB]
  Powered by Linux