Skip to content

Conversation

@leolost2605
Copy link
Member

When the barrier was triggered and you wouldn't ever hover the dock there wouldn't be a new update so the dock would stay visible. So make sure to schedule an update on barrier trigger.

Fixes #2276
Fixes elementary/dock#357

@leolost2605 leolost2605 requested a review from a team March 14, 2025 15:47
@lenemter lenemter merged commit 7c0cd4c into main Mar 14, 2025
5 checks passed
@lenemter lenemter deleted the leolost/fix-barrier-trigger-hide branch March 14, 2025 17:04
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.

Sometimes dock doesn't hide Autohide Dock is not working sometimes

3 participants