标签： intellij-idea
修改编辑器字体无法选择新安装的字体。字体列表中没有新安装的字体。尝试重新启动IDEA和计算机是没有用的。
enter image description here enter image description here
