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.DVO–F10.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.