This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
72~ubuntu5.22.04.1
---------------
gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.1) jammy; urgency=medium
[ Daniel van Vugt ]
* Ignore loss of the hover state while a menu is open (LP: #1967121):
- dash: Add a 'menu-opened' signal
- appIcons: Remember to emit menu-state-changed for _previewMenu
- docking: Ignore loss of the hover state while a menu is open
[ Marco Trevisan (Treviño) ]
* debian: Update references for jammy branching
-- Marco Trevisan (Treviño) <[email protected]> Fri, 08 Jul 2022
06:08:23 +0200
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu Jammy)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1967121
Title:
Dock auto-hides when a right click context menu is opened while a
window is under the dock
Status in Dash to dock:
Fix Released
Status in ubuntu-dock:
Unknown
Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
Fix Released
Status in gnome-shell-extension-ubuntu-dock source package in Jammy:
Fix Released
Bug description:
[Impact]
If the dock is set to auto-hide and a window is under the dock, then
the dock hides prematurely when a menu is opened from one of its
icons. This only seems to happen with GNOME 42.
[Test Plan]
1. Set the dock to auto hide.
2. Move a window under the dock's position so that it wants to auto-hide.
3. Open the dock and right click on one of the icons to open a menu.
Expected: Dock stays open while the menu is open.
Observed: Dock closes while the menu is open.
[Where problems could occur]
This fix may affect any scenarios relating to the dock auto-hiding.
[Other Info]
Upstream fixes:
ubuntu-dock: https://github.com/micheleg/dash-to-dock/pull/1739
dash-to-dock: https://github.com/micheleg/dash-to-dock/pull/1751
To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1967121/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
