Source Editor Fonts

Use the Source Editor Preferences dialog box (Preferences -> Source Editor) to specify the name, style, and size of the font used in the source editor.

Name The font family to use in the source editor.


The underlying Java system automatically maps five font families from your native system to the font names: Monospace and DialogInput. The source editor adds to the Name menu whichever of these two fonts it determines are of fixed width.

Style The style (Plain, Bold, Italic, Bold Italic) of the named font.
Size The point size of the named font.


The source editor does its best to map style and size to your specification. However, the accuracy of this mapping varies depending on your system.

Sample A sample of the specified font, style, and size.

See also:

Editing Source
Syntax Highlighting and Colors
Source Editor Tabs and Indentation