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.

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

docking: Update dock visibility after overview hide animation is done #2056

Merged
merged 1 commit into from
Aug 14, 2023
Merged

docking: Update dock visibility after overview hide animation is done #2056

merged 1 commit into from
Aug 14, 2023

Conversation

stuarthayhurst
Copy link
Contributor

If the overview was closed by clicking on the dash, and the cursor left the dash before the animation finished, the dock would still be visible after it should also be hidden.

Updating the dock visibility ensures the visibility isn't impacted by ignored signals during the animation.

I couldn't see any open issues for this, and since it was a simple fix I just made a PR instead of an issue. If I've missed the open issues, I can add them to the commit message if required :)

If the overview was closed by clicking on the dash, and the
cursor left the dash before the animation finished, the dock
would still be visible after it should also be hidden.

Updating the dock visibility ensures the visibility isn't impacted by ignored
signals during the animation.
@3v1n0
Copy link
Collaborator

3v1n0 commented Aug 14, 2023

Thanks!

@3v1n0 3v1n0 merged commit 9d33d03 into micheleg:master Aug 14, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants