Auto export static HTML & monitor HTML

The output of “Static HTML” and “Monitor HTML” can automatically be triggered when certain pre-defined events occur. Go to "Settings | Miscellaneous" and activate the "AutoInfo" tab.

Via the selection boxes you can define whether they should be exported when the file is saved or closed, at a certain time or after a certain number of minutes (starting with the current system time).

Checking the “Messages prior to export” box results in a query being displayed before the actual export.