Right now I am using the Darcula theme. I want to change the default font to something else. I go into Editor > Colors & Fonts > Font
but all the options are greyed out. For Editor Font
it shows Show only monospaced fonts
as checked with Primary font
as Monospaced, but neither of these can be changed. I tried changing the font under Appearance
but that just changes the font used around AS and not inside the editor.
All you have to do is click the "Save As" button to create a new profile. You can't change the font because you can't overwrite the default profile