Archive for August, 2012
Eclipse Juno adjust fontsize editor tabs
1To change the editor tab fontsize used in eclipse juno (4.2) you must edit a css file, I assume the GTK+ style is used
cd bin/eclipse_4.2/plugins/org.eclipse.platform_4.2.0.v201206081400/css/
gedit e4_default_gtk.css
Now look for the following section:
“.MPartStack”
and edit it to look like this:
.MPartStack {
font-size: 8;
font-family: “DejaVu Sans”;
swt-simple: false;
swt-mru-visible: false;
}
Disable F10 key-shortcut in gnome/xfce4
2As it turns out GTK3 greps the F10 and displays the “right-click” desktop menu.
To realy disable the F10 key-shortcut you have to add a new gtk3 ccs file.
~$ cat .config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind “<shift>F10”
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
Keep your ssh session alive
0To keep your ssh session alive thus preventing to being locked out when the firewall is reloaded or whatever add a ‘config’ file to you local .ssh directory.
$ cat .ssh/config
Host *
ServerAliveInterval 60
Now your session is will be kept alive.
Recent Comments