0
votes
0answers
640 views

how do I decrease font size in Eclipse (Linux Mint)

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 ...
0
votes
2answers
822 views

GTK-2 error when installing Glassfish plugin for Eclipse on Fedora 16 64-bit

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, ...
9
votes
5answers
4k views

Reduce eclipse tab size with GTK theming

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? UPDATED : I found ...