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 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.
From v8.6.0, $HTMLExportExtension is no longer a preference attribute, so allowing a document default value to be set.