【2019.3.5】设置IDEA导航栏字体大小，并设置背景图片

在这里插入图片描述

posted @ 2021-10-18 20:25  layman~  阅读(60)  评论(0)    收藏  举报