1、Preferences点击Windows----Preferences---会弹出一个窗口,如下图所示:
2、Color and fonts在左侧菜单中选择General>Appearance>Color and fonts,如下图所示:
3、Text Font在左侧的basic>Text Font,如下图所示:
4、Edit点击右侧的Edit…按钮,在弹出的对话框中就可以选择字体大小了,如下图所示:
5、字体颜色还可以选择字体的颜色,如下图所示:
时间:2024-10-15 03:59:16
1、Preferences点击Windows----Preferences---会弹出一个窗口,如下图所示:
2、Color and fonts在左侧菜单中选择General>Appearance>Color and fonts,如下图所示:
3、Text Font在左侧的basic>Text Font,如下图所示:
4、Edit点击右侧的Edit…按钮,在弹出的对话框中就可以选择字体大小了,如下图所示:
5、字体颜色还可以选择字体的颜色,如下图所示: