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

Question

[game802]

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

Comments

[Модератор]

game802, за порчу вопросов будет больно.

Answer 1

[pashted]

Comments

[game802]

Это означает не активированную версию? Верно?

[pashted]

HackOwnB: это означает, что выбранная тема доступна только для чтения. скопируйте и правьте ее копию

[pashted]

HackOwnB: если что, для этого есть кнопка save as

[game802]

pashted: Большое спасибо!