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

Question

game802 @game802

Добрый вечер уважаемые знатоки. Не могу поменять шрифт (т.к checkbox'сы неактивны), в чем может быть проблема? Спасибо!

1 комментарий

Подписаться 1 Оценить 1 комментарий

Answer 1 · 2016-11-20 20:31:47

pashted @pashted

тыжпрограммист