Hi, A minor bug: The toolbar button isn't pushed after I opened a hidden tree view via mouse dragging at the widget border on the left-hand side. -- Ciao, --Falk