Konfiguration

Zielstellung: Weitestgehende Konfiguration der Toolbox über Konfigurationsdateien
Motivation: Voreinstellungen auf die Vorlieben und Bedürfnisse des jeweiligen Nutzers anpaßbar
Problem: Bislang nur für die GUI ansatzweise sinnvoll umgesetzt.; Klare Trennung zwischen mitgelieferten (.ini.dist) und daraus generierten (.ini) Konfigurationsdateien
Lösung: Konsequente Umsetzung der Konfigurationsdateien; ggf. neuer Speicherort (~/.trepr)