6.10 Textlib Manager
6.10.1 Menü: Datei
Untermenü:
Öffnen
Speichern als Textdatei... Nach Öffnen eines Pool's und Markierung eines Textes wird das
6.10 – 2
Es wird die Datei, die betrachtet oder geändert werden soll, geöff-
net.
Menü "Datei" um diesen Menüpunkt erweitert. Es wird eine Datei mit
der Erweiterung ".TXT" erzeugt, die dann z.B. ausgedruckt werden
kann.
Systemhandbuch varix 200/14