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

 string   [other string-type attributes]


 HTML   [other HTML Group attributes]

 HTML export file configuration



 No   [other read-only attributes]

 No   [other intrinsic attributes]



File extension to use for exported HTML pages (includes preceding full stop).

The default value is '.html'. A new note inherits the default but the value can be altered at note level by editing the note's Get Info or via a stamp. Editing allows for other extensions, such as ASP/PHP/etc., to be specified as well as other forms like '.txt', '.js' or '.md'.

$HTMLExportExtension can be set via the Export Inspector's ▸ Export tab, 'Extension' box.

If the note's default is altered it is saved as the note's $HTMLExportExtension value.