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

Stacked Panel and Dock Auto-hide/Reveal Interactions #67

Open

3 tasks

WatchMkr opened this issue Sep 22, 2023 · 0 comments

Open

3 tasks

Stacked Panel and Dock Auto-hide/Reveal Interactions #67

WatchMkr opened this issue Sep 22, 2023 · 0 comments

Milestone

WatchMkr commented Sep 22, 2023

Stack the Panel and Dock to one side or top/bottom.

Automatically hide just the panel: can not reveal panel
Automatically hide just the dock: hard to reveal (should reveal pushing against screen edge)
Automatically hide both: only the dock reveals

WatchMkr mentioned this issue

Panel and Dock Stacked and Corner Interaction Bugs #60

Closed

8 tasks

WatchMkr added this to the alpha 1 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment