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