JDK字体设置

很多年没有更新了。需要写代码的时候更少了。

设置Java的字体，Mark一下。（最新JDK17，其他版本应该差不多）

首先字体相关在jdk\lib下面。有个文件fontconfig.properties.src，复制一份出来，重命名为fontconfig.properties

大部分IDE代码用的是monospaced字体，所以源文件中，类似

sequence.monospaced.GBK=chinese-ms936,alphabetic,dingbats,symbol,chinese-ms936-extb

统统改为

sequence.monospaced.GBK=alphabetic,chinese-ms936,dingbats,symbol,chinese-ms936-extb

也就是说，把alphabetic字体放在前面来优先用。