intellij-idea - IDE 更新更改了字体，我该如何重置字体？

Question

2020年4月这个月我刚刚更新了PyCharm，更新后字体变成了这个奇怪的字体。在 Editor -> Font -> Font 我将它设置为 Jetbrains Mono，但这不是 Jetbrains mono。我尝试切换到其他一些字体，但似乎卡在了这个字体上。知道如何解决这个问题吗？

Answer 1

2020.1 版本之前使用的默认字体取决于操作系统：

public final static String FALLBACK_FONT_FAMILY         = "Monospaced";
public final static String MAC_OS_DEFAULT_FONT_FAMILY   = "Menlo";
public final static String LINUX_DEFAULT_FONT_FAMILY    = "DejaVu Sans Mono";
public final static String WINDOWS_DEFAULT_FONT_FAMILY  = "Consolas";

您可以在 File | 更改字体 设置（macOS 上的首选项）| 编辑 | 字体。

Answer 2

更新将我的字体大小更改为 13 像素而不是 12 像素，这使它看起来明显不同。