W Eclipse na Fedorze te kontrolki / widżety zajmują zbyt dużo miejsca:
Jak mogę gtk-rc
zmniejszyć grubość pasków przy pomocy pliku lub motywu GTK3 CSS?
UPDATED
: Znalazłem https://github.com/jeeeyul/eclipse-themes wtyczka ma kilka wbudowanych konfiguracji, a opcje sprawiają, że eclipse 4.2 / 4.3 jest o wiele ładniejszy.