【2024.11.29】idea 2022.1 修改全局的字体大小

445 阅读1分钟

我的目的是修改project区域的字体大小,但是这里是修改全局的字体大小,也满足本人的需求,作为一个记录。

image.png

在setting里面找到红框中的选项直接进行修改size即可。

image.png

改完之后的效果如下:

image.png