Dans Eclipse sur Fedora, ces contrôles / widgets prennent trop de place:
Comment puis-je rendre ces barres plus minces avec un gtk-rc
fichier ou un thème CSS GTK3?
UPDATED
: J'ai trouvé https://github.com/jeeeyul/eclipse-themes ce plugin a quelques configurations et options intégrées qui rendent eclipse 4.2 / 4.3 beaucoup plus agréable.