Fix: Collapsing of libraries in side bar
This fixes collapsing of libraries in the side bar, which seemed to stop with the previous update...
Closes #543 (closed)
This fixes collapsing of libraries in the side bar, which seemed to stop with the previous update...
Closes #543 (closed)