En ce moment, j'utilise le thème Darcula. Je veux changer la police par défaut pour autre chose. J'entre Editor > Colors & Fonts > Font
mais toutes les options sont grisées. Car Editor Font
il apparaît Show only monospaced fonts
comme coché avec Primary font
comme Monospaced, mais aucun de ceux-ci ne peut être modifié. J'ai essayé de changer la police sous Appearance
mais cela change simplement la police utilisée autour d'AS et non dans l'éditeur.