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.
|