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]
(not set - empty string)
HTML [other HTML Group attributes]
HTML export file configuration
No
No
No
No
Baseline
Character used to replace any character normally suppressed on export.
It allows more flexibility with the construction of filenames created via HTML Export.
Reflecting the fact that long-term Tinderbox-created websites might be affected, the default value is an empty string, thus maintaining the status quo.
If used, it is most likely needed for all exported pages and thus should be set by changing the attribute default (i.e. at document level) rather than by setting the attribute at note level.