Tinderbox v9 Icon


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 Last Altered: 

 string   [other string-type attributes]


 HTML   [other HTML Group attributes]

 HTML export file configuration






 As at 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.

From v9.5.0, Tinderbox 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.