Would be nice to create panels that can resize (with min/max size) within the layout it resides.
pbarnum
👍3
All 6 comments
Like GTK Paned?
https://developer.gnome.org/gtk3/stable/GtkPaned.html
andydotxyz
on 4 Apr 2019
Yes, exactly! Thanks for the link 馃檪
pbarnum
on 4 Apr 2019
Ok cool. We will need to land mouse move event handling first but will explore getting this into 1.1
andydotxyz
on 4 Apr 2019
The prerequisites are done, let's see if we can get it into 1.2
andydotxyz
on 28 May 2019
👍2
@pbarnum does the split widget introduced in #789 resolve this issue for you?
stuartmscott
on 30 Apr 2020
Let's assume that the widget on develop satisfies this unless we hear otherwise
andydotxyz
on 9 May 2020
Was this page helpful?
0 / 5 - 0 ratings
Related issues
HeyDon-Lee
路
9Comments
andydotxyz
路
9Comments
Nigh
路
5Comments
Jacalz
路
4Comments
codenoid
路
4Comments
Most helpful comment
The prerequisites are done, let's see if we can get it into 1.2