In questo momento sto usando il tema Darcula. Voglio cambiare il carattere predefinito in qualcos'altro. Entro Editor > Colors & Fonts > Font
ma tutte le opzioni sono disattivate. Perché Editor Font
mostra Show only monospaced fonts
come controllato con Primary font
Monospaziato, ma nessuno di questi può essere modificato. Ho provato a cambiare il carattere sotto, Appearance
ma questo cambia solo il carattere usato in AS e non all'interno dell'editor.