NikiEinstellungen
Die NikiEinstellungen bieten folgendes Menü an:
- start at current Niki: beim zuletzt benutzten Niki beginnen
- save current Niki geometry: die aktuelle Größe und Position von Niki wird gesichert
- save history : die Zurück-Historie wird gesichert
- export Nikis: html, ps, pdf
- print Nikis: Nikis drucken
- enable error messages: Fehlermeldungen anzeigen
- show Niki info: öffnet einen Informations-Dialog