Windows→General→Appearance→Colors and Font→Text Font→Edit
Eclipse更改字体大小
最新推荐文章于 2023-10-10 15:35:59 发布
Windows→General→Appearance→Colors and Font→Text Font→Edit