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