Как изменить размеры шрифта затмения

8

Я пытаюсь уменьшить размеры шрифта, используемого в Eclipse. Я прочитал несколько заметок о том, как это сделать, но ни одна из них не имела значения.

Очевидно, что изменение его в настройках Eclipse этого не делает.

Обычные ответы об использовании «Внешний вид-> Шрифты» не работают, потому что нет вкладки «Шрифты». Мне кажется, я видел, как один человек сказал, что вкладка «Шрифты» больше не должна быть там.

Следующее предложение - установить MyUnity и изменить там настройки шрифта. Похоже, это изменило шрифты, используемые в других приложениях, таких как gnome-терминал и заголовки окон, но все равно не повлияло на Eclipse.

fonts eclipse Дэвид М. Карр
источник

Это решение сработало для меня: stackoverflow.com/questions/11805784/…

Габриэль Мендес

6

Попробуй это:

Редактировать e4_default_gtk.css.

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.css

Добавьте в конце:

* {
  font-size:8;
}

Сохраните и запустите Eclipse.

Это сработало для меня на Ubuntu 14.04 и Eclipse Luna.

Тиаго Норберто
источник

работал как шарм. Все размеры шрифта стали меньше.

Эван Ху

vim ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.cssне должен быть скопирован буквально правильно? Это открывает пустой файл для меня.

MadMike

Вам может понадобиться отредактировать другой файл в зависимости от вашей активной темы, например css/e4-dark.css.

Mapm

4

Я разобрался с недостающими частями этого. Сложной частью является управление размером шрифта для нередакторных представлений, таких как проводник пакетов. Я обнаружил следующее, что помогло мне:

Меньшие размеры шрифтов для Eclipse в Linux

Дэвид М. Карр
источник

2

В выпуске Eclipse Oxygen (и более поздних версиях) CSS-файлы были реорганизованы, и font-sizeтеперь базовый стиль должен быть отредактирован в e4_basestyle.css.

javabrett
источник

1

перейти в меню Window -> Preferences, здесь перейти к General -> Appearance -> Colors and Fonts, это показать конфигурации для перспектив, таких как Java. В опции Java выберите The Java editor text font is used by Java editors.и после Edit ...кнопки, здесь вы можете изменить свойства шрифта.

Richie-Torres
источник

5

Когда я сказал «Очевидно, что изменение в настройках Eclipse этого не делает», это означает, что я уже попробовал это.

Дэвид М. Карр

так что тебе нужно? ответ меняет шрифт, я тестирую.

Ричи Торрес

Хорошо, вы правы, это меняет представление редактора. Однако я не могу изменить размер шрифта для других представлений.

Дэвид М. Карр

Вы хотите изменить шрифт всей IDE (меню, панель и т. д.)?

Ричи Торрес

Это идея, да.

Дэвид М. Карр

1

Я попробовал Myunity на 64-битной Ubuntu12.04, и это сработало. Если вы измените системный шрифт, это повлияет на шрифты затмения в меню и вкладках. Для текстового содержимого в текстовых редакторах Eclipse вы должны изменить настройки шрифта на странице свойств самого Eclipse.

a.toraby
источник

1

Выполните следующие действия: