Xfce Forum

per9000

Member

Registered: 2007-08-01

Posts: 6

[FIXED] xfce4-terminal preferences: change tabs with keyboard and not mouse

Hi all,

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)?

Thanks,
Per

PS: I am using xfce4-terminal version 0.2.6 (Xfce 4.4.0).

per9000

Member

Registered: 2007-08-01

Posts: 6

Re: [FIXED] xfce4-terminal preferences: change tabs with keyboard and not mouse

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.

See f.x.
http://www.pererikstrandberg.se/blog/sc … 074157.png
http://www.pererikstrandberg.se/blog/sc … 082920.png

This messes the post up a bit - sorry about that. But the original post remains I guess.

/Per

per9000

Member

Registered: 2007-08-01

Posts: 6

Re: [FIXED] xfce4-terminal preferences: change tabs with keyboard and not mouse

[BRANCHING]

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.

/Per

per9000

Member

Registered: 2007-08-01

Posts: 6

Re: [FIXED] xfce4-terminal preferences: change tabs with keyboard and not mouse

[...] change the font size in the terminal [...]

By RTFM'ing:

man xfce4-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 .

/P