Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
DimkaJack
@DimkaJack
PhpStorm
Шрифты
Как в phpstorm изменить размер шрифта меню?
Как в phpstorm изменить размер шрифта меню? Поменять шрифт кода можно в настройках, а самой программы неясно как.
Вопрос задан
более трёх лет назад
3603 просмотра
Комментировать
Подписаться
1
Оценить
Комментировать
Facebook
Вконтакте
Twitter
Помогут разобраться в теме
Все курсы
Нетология
Python-разработчик с нуля
6 месяцев
Далее
Skillfactory
DevOps-инженер
6 месяцев
Далее
SF Education
Бэкенд-разработчик на Python
3 месяца
Далее
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
1
Sergey
@baskserg
Better skills, better life.
File -> Settings -> Appearance & Behavior -> Appearance -> Ui Options -> Override default fonts by (not recommended)
Ответ написан
более трёх лет назад
Комментировать
Нравится
6
Комментировать
Facebook
Вконтакте
Twitter
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
PhpStorm
Простой
PhpStorm в 2025 из России. Блокируют ли?
1 подписчик
9 часов назад
76 просмотров
0
ответов
Android
+1 ещё
Простой
Что за шрифт на экране блокировки Android 16?
1 подписчик
15 сент.
337 просмотров
2
ответа
Windows
+1 ещё
Средний
Остаточные изображения и пикселизация текста, в чём проблема?
1 подписчик
05 сент.
262 просмотра
0
ответов
PhpStorm
Простой
Как настроить выделение строки в phpStorm 2025?
2 подписчика
18 авг.
295 просмотров
1
ответ
PhpStorm
Простой
Размер шрифта комментариев в шторме 2024.3.5?
1 подписчик
15 авг.
94 просмотра
1
ответ
Шрифты
+1 ещё
Простой
Как поменять шрифт в cmd на nerd font?
1 подписчик
07 июл.
263 просмотра
1
ответ
PHP
+2 ещё
Простой
Почему некорректно форматируются PHP с HTML, когда открывающие/закрывающие теги в условиях?
1 подписчик
19 июн.
540 просмотров
3
ответа
Windows
+1 ещё
Средний
Как при работе с phpstorm (IntelliJ IDEA) в проекте на WSL2 задать пользователя (и права) от чьего имени идет работа, создание файлов?
2 подписчика
22 мая
481 просмотр
1
ответ
Шрифты
+1 ещё
Простой
Как синхронизировать шрифты в локальной сети?
1 подписчик
06 мая
172 просмотра
1
ответ
PhpStorm
+3 ещё
Простой
Почему не работает Emmet в PHPStorm при подключении к IDE через JetBarins Gateway?
1 подписчик
06 мая
79 просмотров
0
ответов
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Frontend Developer/ Vue.js
DevTeam.Space
•
Москва
от 1 000 до 3 000 $
SRE/DevOps инженер
Сбер
•
Москва
от 200 000 до 300 000 ₽
Linux администратор HPC стека
Сбер
•
Москва
от 200 000 до 400 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама