Ошибка больших баров и панелей инструментов в затмении?
Это мой графический интерфейс eclipse 4.2 в теме Numix:
и в теме Ambiance (по умолчанию) 
Как и заголовок, вкладки и панели инструментов моего Eclipse слишком велики. Итак, как мне это исправить? пожалуйста, не говорите мне изменить тему по умолчанию, потому что мне это нравится
1 ответ
Возможно, вам придется подождать, когда обновление темы выйдет из Numix. У меня похожая проблема с темой Ambiance Aqua: невозможно включить оверлейные полосы прокрутки. Однако тема в eclipse mars 2.0 работает просто отлично.