我已升级到IntelliJ 2020.1，默认情况下使用新的JetBrains Mono字体。但是，我想切换回以前的默认设置，但是我不记得这个名字了。 IntelliJ IDEA 2020.1之前的版本中默认字体的名称是什么？
IntelliJ支持站点上有一个official comment，说明每个操作系统的2020.1之前的默认设置如下：
MenloDejaVu Sans MonoConsolasMonospaced我检查了OSX上IDEA版本2019.3的默认设置，并且默认字体确实为Menlo，大小12，行距1.2。
您可以通过首选项→编辑器→字体
进行配置。