RedTitan
EscapeE
Convert pages to other formats
This section describes
▪
The general procedure for exporting files: see
Exporting files manually
.
▪
How to set up which page(s) from a file to export: see
Selecting page ranges
.
▪
How to export data-logging files: see
Log file export
.
▪
The set up and use of configuration options for export (source, driver, symbol set etc.): see
Setting general export options
.
▪
How to engage, and how to turn off, automatic file export; the 'clock' icon: see
Exporting files automatically
.
▪
How
To set automatic export options
, 'drag and drop', 'shortcut' icons.
▪
The naming of files and use of 'wildcards': see
Filenames and wildcards
.