How do I decrease the font size of tabs' title bar (see screenshot )? I use Eclipse Mobile Juno, and Linux Mint 13 Mate. I tried both going to Eclipse Preferences and Mate preferences. The mate ...
I have Eclipse running fine on my Fedora 16. I was following these instructions to install the Glassfish Tools Bundle for Eclipse (which has to be done outside Eclipse through its own installer) and, ...
In Eclipse on Fedora, these controls/widgets take up too much space: How can I make those bars thinner with a gtk-rc file or GTK3 CSS theming?