尽管设置了新的 ttf 文件,Godot 脚本编辑器字体不会改变

Godot script editor font won't change despite setting new ttf file

我似乎无法更改 Godot 脚本编辑器中的字体。我想把它改成我下载的monaco_linux.ttf。我已经指定了要使用的文件,但是当我设置它时,字体似乎只是变大了一点。

如何在 Godot 的脚本编辑器中更改字体?

编辑器字体设置:

Editor >> Editor Settings >> Code Font >> Path/To/ttf

字体似乎无法正常工作,因为我尝试使用 14 号字体。当我换到 16 号时,它工作正常..