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]
space
HTML [other HTML Group attributes]
HTML export file configuration
No
No
No
No
v5.9.0
Baseline
As at baseline
Character used to replace any character normally suppressed on export.
Default value: a space (i.e. " ").
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.
The default is now a space " " character rather than previous default of an underscore ( _ ) character or not character at all.
Punctuation characters other than a forward slash, period, and tilde ( /.~ ) are also allowed in export filenames.
See also—notes linking to here: