Archive for August, 2012

Eclipse Juno adjust fontsize editor tabs

1
9 years
by in Linux

To 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

2
9 years
by in Linux

As 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

0
9 years
by in Linux

To 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.

Go to Top