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

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

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

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

Похожие вопросы
Вакансии с Хабр Карьеры
Менеджер проектов (разработка / интеграция ПО)
КБМК • Москва
от 200 000 ₽
Frontend-разработчик (Vue.js)
WildJam
от 180 000 до 250 000 ₽
Project Manager в IT
Wanted. • Ростов-на-Дону
До 160 000 ₽
Ещё вакансии
Заказы с Хабр Фриланса
Надо найти рабочую связку ustd/uzs и рассказать как ее проворачивать
16 февр. 2025, в 17:15
1000 руб./за проект
Docker на развертывание Django + React
16 февр. 2025, в 15:54
2500 руб./за проект
Написание нейросети на Python или C++ для анализа ЭКГ сигналов
16 февр. 2025, в 11:06
15000 руб./за проект
Ещё заказы