Attribute Data Type:
Attribute Default Value:
Attribute Group:
Attribute Purpose:
Attribute Inherited from Preferences?
Attribute Read-Only?
Attribute Intrinsic?
Attribute First Added:
Attribute Altered:
string [other string-type attributes]
</ol>
HTML [other HTML Group attributes]
HTML export mark-up
No
No
No
Already in v5.0.0
Ending tag markup for ordered list generated by quick lists.
HTML ordered lists may be created by beginning new paragraphs with the '#' symbol. Ordered and regular (unordered) quick lists should not be mixed.
The starting tag is set via $HTMLOrderedListStart.
If the $HTMLListItemStart and $HTMLListItemEnd attributes are empty, all quick lists — as defined by lines starting with an * or a # — are disabled.