Windows→Preferences→General→Appearance→Colors and Fonts→Basic→Text Font→Edit
eclipse调整字体大小
最新推荐文章于 2023-05-11 15:15:29 发布
Windows→Preferences→General→Appearance→Colors and Fonts→Basic→Text Font→Edit