Closed skalarproduktraum closed 1 year ago
This PR improves the behaviour of sciview's sidebar, and makes it more easily extensible. The inspector and REPL buttons now toggle it nicely, and switching between the panels is smoother.
This PR improves the behaviour of sciview's sidebar, and makes it more easily extensible. The inspector and REPL buttons now toggle it nicely, and switching between the panels is smoother.