Änderung der Größe des Baums

Die Größe der Ansicht, die die Baumstruktur enthält, kann nun geändert werden. Dazu muss man nur mit der Maus auf die Trennlinie zwischen dieser Ansicht und der Hauptansicht gehen. Der Cursor ändert sich und man kann dann mit der Maus ziehen, um eine neue Größe zu wählen.