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

[dash-to-dock] Don't autohide while a menu is open #1751

Merged
merged 3 commits into from
Jun 7, 2022

Conversation

vanvugt
Copy link
Collaborator

@vanvugt vanvugt commented May 19, 2022

Fixes #1714, #1755 and https://launchpad.net/bugs/1967121

Also fixed in ubuntu-dock via #1739

@vanvugt vanvugt requested review from 3v1n0 and ewlsh May 19, 2022 08:18
@vanvugt vanvugt changed the title [dash-to-dock] Don't autohide while a right-click menu is open [dash-to-dock] Don't autohide while a menu is open May 19, 2022
vanvugt added 3 commits May 26, 2022 15:27
Otherwise the previews menu would never trigger 'menu-opened' for
DockDash.

We need to emit it before calling this._previewMenu.popup() to prevent
that call from triggering a hover-out and the dock immediately
auto-hiding.
Losing the hover state is technically correct so it can't be the only
condition we check for. Also wait until the menu is closed before
resync'ing the hover state and auto-hiding.

This became necessary in GNOME 42 with the introduction of new grab APIs.
Perhaps because the old method we used for preventing auto-hide during
menus was removed:

     ignoreRelease() {
-        return this._grabHelper.ignoreRelease();
     }

Fixes micheleg#1714
Fixes micheleg#1755
Fixes https://launchpad.net/bugs/1967121
@vanvugt vanvugt force-pushed the fix-lp1967121-upstream branch from d4909d0 to 77dac94 Compare May 26, 2022 07:28
Copy link
Collaborator

@ewlsh ewlsh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This corrects the issue for me and looks good ✔️

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.

Dock shrinks when window is open (ubuntu-dock)
2 participants