Tagged Questions
0
votes
0answers
419 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
426 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, ...
6
votes
3answers
2k 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?
