Зміна розміру шрифту в дереві файлів проекту в PHPStorm

Мені вдалося змінити решту шрифтів 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
джерело