A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
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 :)
3v1n0
commented
1 year ago
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 :)