Attribute Data Type:
Attribute Default Value:
Attribute Group:
Attribute Purpose:
Attribute Inherited from Preferences?
Attribute UI-configurable?
Attribute Read-Only?
Attribute Intrinsic?
Attribute First Added:
Attribute Last Altered:
font [other font-type attributes]
Courier New
TextFormat [other TextFormat Group attributes]
Note text
No
No
No
No
Baseline
As at baseline
The font type to be used for 'code' sections of $Text.
Default: Courier New
This setting is intended for sections of code where a monospace font aids clarity. This can be set via the Font sub-menu of the Format menu.