IntelliJ IDEA - Choosing specific font width within family

Question

I'm on OS X El Capitan running IntelliJ IDEA 15.0.3.

I've been trying to change the font in my IntelliJ IDEA editor, but when I go to select which font to select, the dropdown list only gives me a list of font families, and doesn't allow me to choose individual weights, as I wanted to use the Book font, while IntelliJ uses the Medium font by default. Is there any way to prioritize which weight I want to use?

I found an indirect way by disabling the Medium font file through Font Book, but that kind of bothers me because that disables it for all programs rather than simply IntelliJ.

Thanks in advance.

Answer 1

现在应该可以。我只是通过转到设置>编辑器>字体进行检查，并且下拉列表中正确显示了不同的字体粗细：

如果仍然存在此问题，则应file an issue with JetBrains。