Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
DimkaJack
@DimkaJack
PhpStorm
Шрифты
Как в phpstorm изменить размер шрифта меню?
Как в phpstorm изменить размер шрифта меню? Поменять шрифт кода можно в настройках, а самой программы неясно как.
Вопрос задан
более трёх лет назад
3583 просмотра
Комментировать
Подписаться
1
Оценить
Комментировать
Facebook
Вконтакте
Twitter
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
1
Sergey
@baskserg
Better skills, better life.
File -> Settings -> Appearance & Behavior -> Appearance -> Ui Options -> Override default fonts by (not recommended)
Ответ написан
более трёх лет назад
Комментировать
Нравится
6
Комментировать
Facebook
Вконтакте
Twitter
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
CSS
+1 ещё
Средний
Почему не работает yuicompressor В PHP Storm?
нет подписчиков
09 апр.
330 просмотров
1
ответ
PHP
+1 ещё
Простой
Возможно ли задать подсказку в phpstorme для возвращаемого типа?
1 подписчик
07 апр.
158 просмотров
1
ответ
Веб-разработка
+1 ещё
Средний
Можно ли удалить скрипт fontawesome из кода сайта?
1 подписчик
04 апр.
177 просмотров
2
ответа
macOS
+2 ещё
Простой
Почему ошибка «Remote Host Identification has changed» при попытки скопировать файл с локального пк на сервер?
1 подписчик
04 апр.
93 просмотра
2
ответа
React
+2 ещё
Простой
Как посадить React 19 на Laravel 12 с отладкой только фронта?
1 подписчик
27 мар.
168 просмотров
1
ответ
Шрифты
Простой
Какой это шрифт?
1 подписчик
22 мар.
116 просмотров
1
ответ
PhpStorm
Простой
Как выделить цветом вендоровские файлы в поиске?
1 подписчик
18 мар.
204 просмотра
1
ответ
Шрифты
Простой
Какой есть сайт со всеми шрифтами помимо гугл фонтс?
1 подписчик
15 мар.
92 просмотра
1
ответ
Windows
+1 ещё
Простой
Есть ли проблемы синхронизации, если PhpStorm запущен под Windows, а файлы и приложение находятся в WSL2?
1 подписчик
26 февр.
113 просмотров
1
ответ
Шрифты
+1 ещё
Простой
Как правильно указать авторское право на шрифт?
1 подписчик
24 февр.
153 просмотра
1
ответ
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Программист 1С
Data World
•
Москва
До 220 000 ₽
Data Engineer\ Разработчик БД SQL
Data World
•
Санкт-Петербург
До 230 000 ₽
.Net backend developer в российскую IT-компанию
Redberries.pro
от 200 000 ₽
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама