Control | Description |
Launch Output File |
Launches the generated root file in the default browser (F12) |
Edit Script |
Launches the currently selected script in the default text editor (F11) |
Save Batch File |
Creates a batch file that builds the same file(s) that would be built if Build (F3) was clicked. |
Auto-launch Batch Generated Files | If selected, the generated root file is launched after being bulit |
Read Configuration File |
Reads all options from a dirhtml .ini or .init file (F8) |
Write Configuration File |
Writes all dirhtml options to an .init file (F9) |
Load Font |
Loads a font that dirhtml will use for all user interface elements
(point sizes of 8 or 9 are recommended).
The default font can be restored by deleting font.init. |
Load Language Xml File |
Loads a dirhtml xml file that contains replacements
for all user interface text elements except the open source, about and license pages |
Web Browser | Selects the application that receives launched generated files |
Text Editor | Selects the application that receives launched text files |