You can change the font and
point size of information displayed in dialog boxes for Functional
Tester and those that are part of the Eclipse IDE. For IDE dialog
boxes and the Java™ Editor, you do this through
the Workbench Preferences.
Procedure
- Click , expand Workbench , and
click Colors and Fonts.
- In the Colors and Fonts list, select
the type of text you want to change. On the Colors and Fonts preference
page, you can change the banner font, header font, and text font,
one at a time.
- To use system fonts, click Use System Font.
You must use this option for DBCS languages.
To use
a different font, click Change. In the Font
dialog box, select your font and click OK.
- To change the font in the Java Editor,
in the Colors and Fonts list, take the following
steps:
- Expand Java.
- Click Editor Text Font (defaults to Text Font).
- Click Restore Defaults.
The Java Editor picks up the font set
in the Workbench Font preference page because
the Java Editor uses that preference by default.
- Click OK. The new font
does not take effect immediately in the dialog box that you set it
in (Application Configuration Tool or Enable Environments dialog box).