Как изменить размер шрифта в Eclipse для всех текстовых редакторов?
Я должен был сделать презентацию вчера, и как часть презентации, я использовал Eclipse, чтобы показать некоторый код. Многие из моих коллег в комнате не могли прочитать текст и попросили меня увеличить размер текста для всех файлов, а не только для файлов Java или XML.
но это не было сразу очевидно из доступных вариантов, как это сделать. Я пошел в меню окно→ настройки и набранный шрифт в поле поиска. Это отфильтровало параметры общие→ внешний вид→ цвета и шрифты. Отсюда я мог видеть возможность изменить шрифт в Java-файлах, но я не знал, как изменить шрифт глобально.
Я использую Eclipse v4.3 Service Release 1 (Kepler) на Windows.
Это похоже на вопрос переполнения стека как я могу изменить размер шрифта в Eclipse для текстовых редакторов Java?.
8 ответов:
The ответ @Jake отлично работает в Редакторе. Чтобы также изменить размер шрифта глобального графического интерфейса Eclipse, я добавил следующее:
*{font-size:8;}
в файле:
ECLIPSE_HOME/plugins/org.eclipse.ui.themes_*/css/e4_default_gtk.css
работал для меня. Это объясняется здесь: как изменить размеры шрифта eclipse
Eclipse предоставляет удобный ярлык для быстрого доступа к тому, что хорошо объяснено в ответе Джейка Торонто (только на 2 пункта приращения/уменьшения).
На MacOS:
- увеличение на 2 пункта: команда +"+"
- уменьшение на 2 пункта: команда +" -"
На Windows / Fedora:
- увеличение на 2 пункта: CTRL +"+"
- уменьшить на 2 пункта: CTRL +" -"
ответ @George работал нормально, но если он не работает с файлом, на который он ссылался, то вы можете попробовать применить ту же модификацию к другому файлу из той же папки: e4_basestyle.стиль CSS.
для меня это сработало таким образом (моя версия Eclipse SDK-4.2.2).
для файлов XML или HTML вы можете выбрать опцию "структурированные текстовые редакторы" вместо "Basic" в пути, указанном ответом Джейка Торонто.
просто для справки, если кто менять настройки шрифта от предпочтения→ общие→ внешний вид → *цвета и шрифты**, но это не сработало...
в моем случае это вызвано цветовой темой затмения. Просто удалите его.