Die Größe des Allgemeine-Einstellungen-Dialogs und die Größe des Baums auf der linken Seite können nun geändert werden.
