In Eclipse su Fedora, questi controlli / widget occupano troppo spazio:
Come posso rendere le barre più sottili con un gtk-rc
file o un tema CSS GTK3?
UPDATED
: Ho trovato https://github.com/jeeeyul/eclipse-themes che questo plugin ha alcune configurazioni e opzioni integrate che rende eclipse 4.2 / 4.3 molto più bello.