Emil Ernerfeldt c9766f8a7b Resizable panels + right and bottom panels (#438) ...

* Side panel resizing and add right panels

* Add resizable top/bottom panels

* Deprecate TopPanel

* Final tweaks and update CHANGELOG.md

2021-05-26 22:06:10 +02:00

..

pure.rs

Resizable panels + right and bottom panels (#438)

2021-05-26 22:06:10 +02:00