-
-
Notifications
You must be signed in to change notification settings - Fork 77
Add panel hide delay #2103
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.
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
Add panel hide delay #2103
Conversation
|
Amazing ! Thank you :) I look forward to this ! |
leolost2605
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A few things but apart from that looks good and thanks for the cleanup wanted to do it since the original got merged but never found time :)
|
Hello ! |
|
Yeah I think it's pretty much ready but we have a small disagreement on a style choice so we are kinda looking for a third party to decide :) |
|
thank you <3 |
Fixes elementary/dock#300
This required a small code refactor. All show/hide trigger logic (including barriers) now located in HideTracker. This ensures that all the hide/show signals don't interrupt each other.