Windows >>perferences
General>> appearance>>Colors and Fonts 点开之后,在Basic 下面找到Text Font
点击Edit
选择适合的字体大小,按确定。
时间: 2024-08-03 16:38:46
Windows >>perferences
General>> appearance>>Colors and Fonts 点开之后,在Basic 下面找到Text Font
点击Edit
选择适合的字体大小,按确定。