Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Resizable Panel Widget #205

Closed
pbarnum opened this issue Apr 4, 2019 · 6 comments
Closed

Add Resizable Panel Widget #205

pbarnum opened this issue Apr 4, 2019 · 6 comments
Labels
Design Requires some visual design process enhancement New feature or request help wanted Extra attention is needed
Milestone
1.3 - File dialog...

Comments

@pbarnum
Copy link
Contributor

pbarnum commented Apr 4, 2019

Would be nice to create panels that can resize (with min/max size) within the layout it resides.
@andydotxyz
Copy link
Member

Like GTK Paned?
https://developer.gnome.org/gtk3/stable/GtkPaned.html

@pbarnum
Copy link
Contributor Author

pbarnum commented Apr 4, 2019

Yes, exactly! Thanks for the link 🙂

@andydotxyz
Copy link
Member

Ok cool. We will need to land mouse move event handling first but will explore getting this into 1.1

@andydotxyz andydotxyz added enhancement New feature or request future Features that might take a while to be sheduled Design Requires some visual design process labels Apr 9, 2019
@andydotxyz andydotxyz mentioned this issue May 2, 2019
Closed
@andydotxyz
Copy link
Member

The prerequisites are done, let's see if we can get it into 1.2

@andydotxyz andydotxyz added this to the Release 1.2 milestone May 28, 2019
@andydotxyz andydotxyz removed the future Features that might take a while to be sheduled label Jun 15, 2019
@andydotxyz andydotxyz removed this from the 1.2 - Mobile support milestone Oct 15, 2019
@andydotxyz andydotxyz added the help wanted Extra attention is needed label Oct 21, 2019
@stuartmscott stuartmscott mentioned this issue Mar 30, 2020
Merged
@stuartmscott
Copy link
Member

@pbarnum does the split widget introduced in #789 resolve this issue for you?

@andydotxyz
Copy link
Member

Let's assume that the widget on develop satisfies this unless we hear otherwise

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Design Requires some visual design process enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
1.3 - File dialog, notifications, man...
Development

No branches or pull requests
3 participants
@andydotxyz @stuartmscott @pbarnum