The following preferences can be set on this page.
Option
Description
Default
Text Font
Click the Change button to change the font for the Java editor.
Courier Regular 10 point