Der File Titel

Choose DVI Durch Anklicken dieses Men"upunktes oder Dr"ucken der C-Taste wird eine Dateiauswahlbox zum W"ahlen der DVI-Datei angezeigt. Alternativ kann der Dateiname auch bei Aufruf in der Kommandozeile "ubergeben werden.

Load Options Dieser Men"utitel bzw. die L-Taste bringen eine Dateiauswahlbox zum W"ahlen einer Optionsdatei zur Anzeige. Optionsdateien von erkennt man an der *.DVO Endung. Die Standardoptionen sollten in der Datei DVI.DVO gespeichert sein. Diese Optionsdatei wird beim Starten von automatisch geladen, wenn keine Optionsdatei "uber die Kommandozeile "ubergeben wurde und sollte zweckm"a"sigerweise die Bildschirmoptionen enthalten. Bei einigen speziellen Namen von Optionsdateien kann man sich das Anw"ahlen "uber Men"u ersparen. Die Optionsdateien F1.DVO–F10.DVO k"onnen direkt durch Dr"ucken der Tasten F1–F10 geladen werden.

Save Options Durch diesen Eintrag bzw. durch Dr"ucken der S-Taste wird eine Dateiauswahlbox zum W"ahlen des Dateinamens der zu speichernden Optionsdatei angezeigt. Alle aktuellen Optionseinstellungen werden in diese Optionsdatei gespeichert.

Logfile Alle Meldungen, die im Meldungsfenster erscheinen, k"onnen mittels dieser Option in eine Datei geschrieben werden, die mittels einer Dateiauswahlbox ausgew"ahlt wird.

Quit Anklicken dieses Eintrags bzw. Dr"ucken von Q beendet das Programm.