Der File Titel

Choose DVI [C]
Load Options [L]
Save Options [S]
Logfile  
Quit [Q]

Choose DVI Durch Anklicken dieses Menüpunktes oder Drücken der


/C
-Taste wird eine Dateiauswahlbox zum Wählen der DVI-Datei angezeigt. Alternativ kann der Dateiname auch bei Aufruf in der Kommandozeile übergeben werden.

Load Options Dieser Menütitel bzw. die


/L
-Taste bringen eine Dateiauswahlbox zum Wählen einer Optionsdatei zur Anzeige. Optionsdateien von DVI erkennt man an der *.DVO Endung. Die Standardoptionen sollten in der Datei DVI.DVO gespeichert sein. Diese Optionsdatei wird beim Starten von DVI automatisch geladen, wenn keine Optionsdatei über die Kommandozeile übergeben wurde und sollte zweckmäßigerweise die Bildschirmoptionen enthalten. Bei einigen speziellen Namen von Optionsdateien kann man sich das Anwählen über Menü ersparen. Die Optionsdateien F1.DVOF10.DVO können direkt durch Drücken der Tasten
/F1

/F10
geladen werden.

Save Options Durch diesen Eintrag bzw. durch Drücken der


/S
-Taste wird eine Dateiauswahlbox zum Wählen des Dateinamens der zu speichernden Optionsdatei angezeigt. Alle aktuellen Optionseinstellungen werden in diese Optionsdatei gespeichert.

Logfile Alle Meldungen, die im Meldungsfenster erscheinen, können mittels dieser Option in eine Datei geschrieben werden, die mittels einer Dateiauswahlbox ausgewählt wird.

Quit Anklicken dieses Eintrags bzw. Drücken von


/Q
beendet das Programm.