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:
string [other string-type attributes]
</code>
HTML [other HTML Group attributes]
HTML export encoding
No
Yes
No
No
Baseline
As at baseline
HTML code to insert at the beginning of code-format $Text.
Can be edited via the Style pane of the Export Inspector.