OS：MacOS。
我想使用“ Noto Sans Mono SemiBold”作为IntelliJ的编辑字体。但是IntelliJ首选项中唯一可用的是“ Noto Sans Mono”，而没有“ SemiBold”。
我打开首选项文件〜/ Library / Preferences / IdeaIC2018.1 / options / editor.xml并将FONT_FAMILY更改为
<option name="FONT_FAMILY" value="Noto Sans Mono SemiBold" />
并重新打开IntelliJ。但是，Intellij只是将其忽略为错误的设置，而是回退到默认的Menlo。
如何实现？谢谢。