I am using xfce (xubuntu 7.4 I guess) on a laptop, and every time I work on the train to/from work I use the small laptop screen. At work I have a humongous screen. So I need to change the font size in the terminal at least twice a day since size 12 is nice on the external screen, and size 10 is nice otherwise.
Also I prefer using the keyboard before the mouse and I keep getting annoyed because I cannot switch "tabs" in the Terminal Preferences window from General (the default tab) to Appearance.
So some questions:
* Can I change tabs in the terminal preferences with the keyboard, and if so: how?
* Can I change the size with some script?
* If I must use the mouse, should I create a feature request to bugzilla.xfce.org or should I contact some author (benny perhaps)?
PS: I am using xfce4-terminal version 0.2.6 (Xfce 4.4.0).
I saw one post on a similar issue dealing with dpi and screen resolution - I think that is the cause of my problem - I'll check that up aswell.
This messes the post up a bit - sorry about that. But the original post remains I guess.
For the problem with screen resolution I guess this thread: http://forum.xfce.org/index.php?topic=3506.0 is a starting point.
This thread ( http://forum.xfce.org/index.php?topic=3526.0 ) is hereby converted to dealing with the issue in the original post (only): changing the preferences with keyboard.
[...] change the font size in the terminal [...]
I found that: "xfce4-terminal reads its configuration from the files $XDG_CONFIG_DIRS/Terminal/terminalrc [...]" and that "XDG_CONFIG_HOME ... defaults to ~/.config/"
Voilà le setting magique (here is the magic setting):
>grep "FontName" ~/.config/Terminal/terminalrc FontName=Monospace 10
Changing it solved everything. So I'll avoid using the menus, also I manage to dodge learning about dpi inxorg.conf .