Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
giannissc opened this issue 2 years ago · comments
https://github.com/lapce/lapce/blob/master/lapce-ui/src/panel.rs
Depends on #11
https://github.com/giannissc/panelkit https://github.com/KDAB/KDDockWidgets https://developer.gnome.org/gtk3/stable/GtkHandleBox.html