idea设置字体大小（换主题后的字体大小设置）

如果你是默认主题

直接这样设置字体大小

如果你换了自定义主题

如果你换了自定义主题，那么上面的设置方法会没有作用，我们需要像下面这样设置：

posted @ 2023-02-05 08:18  捞月亮的小北  阅读(141)  评论(0)  编辑  收藏  举报