1、Preferences
点击Windows----Preferences---会弹出一个窗口,如下图所示:

2、Color and fonts
在左侧菜单中选择General>Appearance>Color and fonts,如下图所示:

3、Text Font
在左侧的basic>Text Font,如下图所示:

4、Edit
点击右侧的Edit…按钮,在弹出的对话框中就可以选择字体大小了,如下图所示:

5、字体颜色
还可以选择字体的颜色,如下图所示:

时间:2026-02-15 00:17:46
1、Preferences
点击Windows----Preferences---会弹出一个窗口,如下图所示:

2、Color and fonts
在左侧菜单中选择General>Appearance>Color and fonts,如下图所示:

3、Text Font
在左侧的basic>Text Font,如下图所示:

4、Edit
点击右侧的Edit…按钮,在弹出的对话框中就可以选择字体大小了,如下图所示:

5、字体颜色
还可以选择字体的颜色,如下图所示:
