EDIT: для тех, кто подходит к этому вопросу посредством поиска, вы можете установить тему Gnome под названием Clearlooks Compact, чтобы сократить ваши вкладки в Eclipse. Это освободит пространство экрана. Вы также можете проверить ответ ниже, чтобы узнать, как сделать вкладки более горизонтально компактными.
Краткая версия: как сделать короткую версию вкладок Eclipse и панелей инструментов в Ubuntu?
Я искал решение об этом в Google, но безуспешно. С любой темой GTK у меня все еще есть такая же проблема, и это очень, очень раздражает - до такой степени, что я прекратил использовать Eclipse в пользу gEdit. Однако, после запуска pylint с терминала тоже. многие. раз. Я решил, что мне нужно найти решение этих проблем с Eclipse, чтобы вернуть PyDev. Вот как выглядят вкладки:
alt text http://c0496682.cdn.cloudfiles.rackspacecloud.com/big-tabs.png
Как вы можете видеть, не только преувеличены вкладки, но и панель инструментов: так же, как и панель инструментов внизу; так же как и вкладки в нижней панели. В целом, он съедает много пространства на экране, которое представляет собой жесткий элемент, который может появиться на 17-дюймовом экране. Любые предложения/исправления?