Задать вопрос
@game802
веб-разработка

Как поменять шрифт в phpstorm?

Добрый вечер уважаемые знатоки. Не могу поменять шрифт (т.к checkbox'сы неактивны), в чем может быть проблема? Спасибо!
d458a62724dd4b3a8d3f5704264ee1fa.png
  • Вопрос задан
  • 1116 просмотров
1 комментарий
Подписаться 1 Оценить 1 комментарий
Решения вопроса 1
pashted
@pashted
тыжпрограммист
f61b169283744a9cbde93191d1e6d30a.png
Ответ написан
4 комментария
4 комментария
Пригласить эксперта
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Похожие вопросы
Вакансии с Хабр Карьеры
Инженер-электроник (разработка электронных приборов)
Uniscan Research • Новосибирск
от 100 000 до 150 000 ₽
Middle Project Manager (внутренние проекты)
FOXIBLE • Москва
от 70 000 ₽
Менеджер проектов (разработка / интеграция ПО)
КБМК • Москва
от 200 000 ₽
Ещё вакансии