Einstellungsfragen

[Bernhard Eversberg]

Gelegentlich wird berichtet, dass trotz der Setzung  setsize=1
in der INI-Datei die Einstellungen fuer Schriftart und -groesse nicht
aufbewahrt werden.
Abhilfe: Im Menue "Optionen" einmal den "Datenfont" neu waehlen,
i.d.R. wird man hier "ALLEGROLG" auswaehlen. Dann die gewuenschte 
Groesse einstellen. Danach sollte es dann fuer alle weiteren Sitzungen mit 
der betr. INI-Datei funktionieren.

MfG B.E.
Bernhard Eversberg
Universitaetsbibliothek, Postf. 3329, 
D-38023 Braunschweig, Germany
Tel.  +49 531 391-5026 , -5011 , FAX  -5836
e-mail  B.Eversberg at tu-bs.de