Изменить размер шрифта в дереве файлов проекта в PHPStorm

12

Мне удалось изменить остальные шрифты среды IDE (то есть меню, диалоговые окна и т. Д.) С помощью полей «Переопределить шрифты по умолчанию» на экране «Настройки / Внешний вид среды IDE» в диалоговом окне «Настройки». Но это, похоже, не влияет на размер шрифта дерева папок / файлов в левой панели навигации. Шрифт по умолчанию там такой маленький, что я едва могу его прочитать. Как я могу изменить этот шрифт?

ОБНОВЛЕНИЕ: я также очевидно не могу изменить шрифт в редакторе. введите описание изображения здесь

phpstorm Emmys
источник

Ответы:

13

Шрифт в дереве не настраивался в старых версиях . В последних версиях он должен работать с использованием конфигурации в Settings | Appearance.

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

CrazyCoder
источник
Спасибо, но, как я уже сказал, я пытался использовать вкладку Настройки / Внешний вид. Он изменяет шрифт в меню и диалогах, но не в дереве файлов. Я использую 6.0, которая является самой новой версией, доступной для Windows. Но ваши инструкции позволили мне изменить шрифт редактора, так что спасибо вам за это.
EmmyS
Обновите до 6.0.2 и перезапустите PhpStorm после изменения шрифта.
CrazyCoder
По этой ссылке 6.0.2 имеет ограниченную 30-дневную лицензию.
EmmyS
Не беспокойтесь, версия релиза или новый EAP станут доступны до этого, вы также всегда можете вернуться к последней версии релиза, если истечет EAP.
CrazyCoder
6

Для версий 2017/2018 PHPStorm это находится в пункте меню PHPStorm> Настройки> Внешний вид и поведение> Внешний вид> Переопределить шрифты по умолчанию на . Здесь вы можете изменить шрифт и размер шрифта.

SliQ
источник