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 ui.panel is_closable property, add on_close event #891

Open
mofojed opened this issue Sep 17, 2024 · 1 comment
Open

Add ui.panel is_closable property, add on_close event #891

mofojed opened this issue Sep 17, 2024 · 1 comment
Labels
enhancement New feature or request
Milestone
Backlog

Comments

@mofojed
Copy link
Member

mofojed commented Sep 17, 2024

As a user I would like more control over the panel.

Side note: In the IDE, by default panels are closable; in embed-widget the panels default to not closable. That makes things somewhat inconsistent, wonder if there's a better way we can handle it.
@mofojed mofojed added enhancement New feature or request triage labels Sep 17, 2024
@vbabich vbabich added this to the Backlog milestone Sep 18, 2024
@vbabich vbabich removed the triage label Sep 18, 2024
@vbabich
Copy link
Contributor

vbabich commented Sep 18, 2024

There should be a spec for this in the design doc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
2 participants
@vbabich @mofojed