Java Editor

The following preferences can be set on this page.

Java Editor Preferences

Option

Description

Default

Text Font

Click the Change button to change the font for the Java editor.

Courier Regular 10 point