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]
.html
HTML [other HTML Group attributes]
HTML exported file configuration
Yes
No
No
Already in v5.0.0
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:
- '.html'
- '.htm'
- 'none'
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.