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

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

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

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

Похожие вопросы
Вакансии с Хабр Карьеры
React разработчик
ITK academy • Нижний Новгород
от 50 000 до 90 000 ₽
Fullstack Разработчик (Next.js / JavaScript / TypeScript)
App Company
от 200 000 до 300 000 ₽
Frontend разработчик (ReactJS, TypeScript)
Arkline
от 120 000 до 200 000 ₽
Ещё вакансии