-
if people want to hide the toolview, there is the button or shortcut this avoids that collapsing via dragging leads to confusion BUG: 439535
927a1991
if people want to hide the toolview, there is the button or shortcut this avoids that collapsing via dragging leads to confusion BUG: 439535