Posts tagged linux

Something todo for Christmas :-)

0

image

Eclipse Juno adjust fontsize editor tabs

1

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;
}

Go to Top