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?