Attribute Data Type:
Attribute Default Value:
Attribute Inherited from Preferences?
Attribute First Added:
File extension to use for exported HTML pages (includes preceding full stop).
The as-installed default is created in Tinderbox's Preferences, and may be changed at (local) document level via the Document Preferences — in both cases via the 'Export with extension' option. The Built-in preferences options for this attribute are:
A new note inherits the preference setting but the value can be altered at note level by editing the note's Info window or via a stamp. This allows for other extensions, such as ASP/PHP/etc., to be specified.
The HTML window also allows the exported page's extension to be set. If the window's default is altered it stored back as the note's value for $HTMLExportExtension.