J'ai mis à niveau vers IntelliJ 2020.1, qui utilise la nouvelle police JetBrains Mono par défaut. Cependant, je voudrais revenir à l'utilisation de la valeur par défaut précédente, mais je ne me souviens pas du nom. Quel était le nom de la police par défaut sur les versions antérieures à 2020.1 d'IntelliJ IDEA?
intellij-idea
fonts
default
Adam Millerchip
la source
la source
L'option la plus simple est de faire Preferences-> Editor-> Color Schema->Color Scheme Font
Et choisissez "Classic Light". Il ramènera la police à Menlo, taille 12 et interligne 1.2
la source