Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
DimkaJack
@DimkaJack
PhpStorm
Шрифты
Как в phpstorm изменить размер шрифта меню?
Как в phpstorm изменить размер шрифта меню? Поменять шрифт кода можно в настройках, а самой программы неясно как.
Вопрос задан
более трёх лет назад
3604 просмотра
Комментировать
Подписаться
1
Оценить
Комментировать
Facebook
Вконтакте
Twitter
Помогут разобраться в теме
Все курсы
Нетология
Python-разработчик с нуля
6 месяцев
Далее
Skillfactory
DevOps-инженер
6 месяцев
Далее
Яндекс Практикум
Python-разработчик
10 месяцев
Далее
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
1
Sergey
@baskserg
Better skills, better life.
File -> Settings -> Appearance & Behavior -> Appearance -> Ui Options -> Override default fonts by (not recommended)
Ответ написан
более трёх лет назад
Комментировать
Нравится
6
Комментировать
Facebook
Вконтакте
Twitter
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
Шрифты
Средний
Какие есть кириллические шрифты на замену MuseoModerno?
1 подписчик
14 нояб.
104 просмотра
1
ответ
PhpStorm
Простой
PhpStorm в 2025 из России. Блокируют ли?
2 подписчика
06 нояб.
330 просмотров
0
ответов
Android
+1 ещё
Простой
Что за шрифт на экране блокировки Android 16?
1 подписчик
15 сент.
352 просмотра
2
ответа
Windows
+1 ещё
Средний
Остаточные изображения и пикселизация текста, в чём проблема?
1 подписчик
05 сент.
265 просмотров
0
ответов
PhpStorm
Простой
Как настроить выделение строки в phpStorm 2025?
2 подписчика
18 авг.
297 просмотров
1
ответ
PhpStorm
Простой
Размер шрифта комментариев в шторме 2024.3.5?
1 подписчик
15 авг.
94 просмотра
1
ответ
Шрифты
+1 ещё
Простой
Как поменять шрифт в cmd на nerd font?
1 подписчик
07 июл.
271 просмотр
1
ответ
PHP
+2 ещё
Простой
Почему некорректно форматируются PHP с HTML, когда открывающие/закрывающие теги в условиях?
1 подписчик
19 июн.
546 просмотров
3
ответа
Windows
+1 ещё
Средний
Как при работе с phpstorm (IntelliJ IDEA) в проекте на WSL2 задать пользователя (и права) от чьего имени идет работа, создание файлов?
2 подписчика
22 мая
482 просмотра
1
ответ
Шрифты
+1 ещё
Простой
Как синхронизировать шрифты в локальной сети?
1 подписчик
06 мая
174 просмотра
1
ответ
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Backend PHP developer
Office-Expert.kz
от 200 000 до 290 000 ₽
Fullstack разработчик (TypeScript+React). Свободный график. Фулл тайм.
Круглый Квадрат
от 300 000 до 450 000 ₽
Ведущий разработчик, С++
U-System
•
Москва
от 220 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама