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