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

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

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

phpstorm

— Emmys
источник

Ответы:

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

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

— CrazyCoder
источник

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

— EmmyS

Обновите до 6.0.2 и перезапустите PhpStorm после изменения шрифта.

— CrazyCoder

По этой ссылке 6.0.2 имеет ограниченную 30-дневную лицензию.

— EmmyS

Не беспокойтесь, версия релиза или новый EAP станут доступны до этого, вы также всегда можете вернуться к последней версии релиза, если истечет EAP.

— CrazyCoder

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

— SliQ
источник