next up previous contents index

Next: 3 Editor Up: 2.5 Optionen Previous: 2.5.5 Schaltstrategie

2.5.6 Zeilenlänge

Diese Angabe wird zur Formatierung der Ausgabedatei SESSION.ina benötigt und ist dadurch auch teilweise für den Bildschirm wirksam. Wenn Ihr Bildschirm oder Ihr Drucker mit mehr als 80 Spalten arbeitet, so ändern Sie den Wert entsprechend, so daß die Ausgaben (zum Beispiel der Zustandsgraph als Baum) besser lesbar werden (Maximalwert: 255 Spalten).



© 1996-97 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)

Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997