fixing tab font sizes for eclipse 4.2 juno

eclipse-4.2-tab-font-customization.txt

Eclipse 4.2(juno) is using CSS to decorate/render widgets. Default tab font size is quite large wasting screen space. To change it edit eclipse42//plugins/org.eclipse.platform_4.2.0.v201206081400/css/e4_default_mac.css (or pick css file that corresponds to your specific os) and change following section:

.MPartStack {
        font-size: 12;
        swt-simple: false;
        swt-mru-visible: false;
}

to something like:
.MPartStack {
        font-size: 10;
        swt-simple: false;
        swt-mru-visible: false;
}

You can also specify different font-family, etc.