Ho eseguito l'aggiornamento a IntelliJ 2020.1, che utilizza il nuovo carattere JetBrains Mono per impostazione predefinita. Tuttavia, vorrei tornare a utilizzare il valore predefinito precedente, ma non ricordo il nome. Qual era il nome del carattere predefinito nelle versioni precedenti a 2020.1 di IntelliJ IDEA?