为idea添加新字体

版本：ULTIMATE(2018.2)
环境：Windows10
eclipse很容易添加字体：新下载的tlf字体文件，双击安装就可以选了。但是idea好像这样不行。
最近我想给idea安装DejaVu Sans Mono字体，下载字体文件，并双击安装之后，在idea的设置里面
找不到DejaVu Sans Mono字体：

想到idea关联的本机的jre，就把字体文件jre\lib\fonts中试了一下，也不行，好奇怪。
最后放到idea自带的jre中竟然就可以了，但是其实我是为idea从新指定的jre,据说时idea的bug，后来的版本中这个问题解决了。