Desk-Menü

Das Desk-Menü eines Editors enthält folgende Menüpunkte:

Close

schließt das Werkzeug.

Rescan

liest die Daten des bearbeiteten Dokuments erneut aus dem OMS ein. Die Funktion wird benötigt, um Dokumente zu aktualisieren, die von mehreren Benutzern gleichzeitig bearbeitet werden (vergleiche Abschnitt ``Mehrere Benutzer in ToolFrame'').

Backup

sichert die Daten des bearbeiteten Dokuments in einer Text-Datei. Der Name der Sicherungsdatei wird in einem Datei-Dialog angegeben.

 

Abbildung 12: Datei-Dialog  

Restore

liest eine mittels Backup angefertigte Sicherungsdatei ein und überträgt die Daten in das OMS. Um zum Beispiel die Sicherung eines OOA-Dokuments einzulesen, wird ein neues Dokument erzeugt, ein Editor zur Bearbeitung des Dokuments geöffnet und Restore aufgerufen.

Hinweis:  Das Werkzeug muß die Sicht haben, die bei der Ausführung von Backup gesetzt war (siehe auch Abschnitt ``Views-Menü''). Andernfalls wird der Restore-Vorgang mit einer Fehlermeldung abgebrochen.

Zoom Out

verkleinert die Darstellung des Dokuments.

Zoom In

vergrößert die Darstellung des Dokuments.

Actual Size

setzt die Darstellungsgröße auf den ursprünglichen Wert zurück.

Print Document

druckt das bearbeitete Dokument auf einen PostScript-Drucker oder in eine Datei aus. Die Orientierung und Skalierung des Ausdrucks kann im Druck-Dialog angegeben werden.

 

Abbildung 13: Druck-Dialog  

• Die zu druckenden Seiten sollten im Bereich Pages eingestellt werden (meist From: 1 To: 1).
• Im Bereich Margins werden die Seitenränder eingestellt.
• Orientation gibt die Anordnung des Dokuments auf der Druckseite vor: Hochgestellt (Portrait) oder quer (Landscape). Die passende Einstellung hängt von der Größe des bearbeiteten Dokuments ab.
• Im Bereich Options sollten die vorgegebenen Einstellungen beibehalten werden.
• Mittels Scale kann die Größe des Dokuments an die Größe der Druckseite angepaßt werden.
• Als Print Command sollte lpr beibehalten werden, sofern nicht die Ausgabe auf einem anderen Drucker gewünscht wird.
• Apply Settings speichert die gemachten Einstellungen ohne das Dokument zu drucken.
• Print gibt das Dokument mit den angegebenen Einstellungen auf dem Drucker aus.
• Print To File... erzeugt eine PostScript-Datei, die vor dem Ausdruck zur Kontrolle betrachtet werden kann.

Hinweis:  Das Dokument sollte in eine Datei gedruckt, diese mit einem PostScript-Interpreter (zum Beispiel ghostview) angezeigt und erst dann ausgedruckt werden. Dies ermöglicht die Überprüfung der Größe und Ausrichtung des Dokuments auf der Druckseite.