【IDEA】字体大小和类型

字体大小和类型

---

2020-09-08  09:06:21  by冲冲

 

1.工具界面的字体

 

2.代码的字体

注意：如果已经设置颜色主题，则还需要设置颜色主题的字体，才能生效。