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 in Current Baseline:
Attribute Last Altered:
string [other string-type attributes]
<code>
HTML [other HTML Group attributes]
HTML export encoding
No
Yes
No
No
v9.0.0
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.
See also—notes linking to here: