Dock auto-hides when a right click context menu is opened while a window is under the dock
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Dash to dock |
Fix Released
|
Unknown
|
|||
ubuntu-dock |
Unknown
|
Unknown
|
|||
gnome-shell-extension-ubuntu-dock (Ubuntu) |
Fix Released
|
Medium
|
Daniel van Vugt | ||
Jammy |
Fix Released
|
Medium
|
Marco Trevisan (Treviño) |
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:/
dash-to-dock: https:/
tags: | added: jammy |
summary: |
- glitch on windows miniatures when auto-hide is enabled + Glitch on multiple windows selector when auto-hide is enabled |
description: | updated |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu): | |
importance: | Low → Undecided |
tags: | added: regression-release rls-jj-incoming |
summary: |
- Contextual menus are glitching when auto-hide is enabled (right click + - windows selector) + Dock auto-hides while right click context menus are open |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu): | |
assignee: | nobody → Marco Trevisan (Treviño) (3v1n0) |
importance: | Undecided → High |
summary: |
- Dock auto-hides while right click context menus are open + Dock auto-hides when a right click context menu is opened while a window + is under the dock |
tags: | removed: rls-jj-incoming |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu): | |
assignee: | Marco Trevisan (Treviño) (3v1n0) → Daniel van Vugt (vanvugt) |
status: | Triaged → In Progress |
Changed in dash-to-dock: | |
status: | Unknown → New |
Changed in dash-to-dock: | |
status: | New → Unknown |
Changed in dash-to-dock: | |
status: | Unknown → New |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu): | |
status: | In Progress → Fix Committed |
milestone: | none → ubuntu-22.10 |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu Jammy): | |
milestone: | none → jammy-updates |
description: | updated |
Changed in dash-to-dock: | |
status: | New → Fix Released |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu Jammy): | |
assignee: | Daniel van Vugt (vanvugt) → Marco Trevisan (Treviño) (3v1n0) |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu Jammy): | |
status: | Triaged → Fix Committed |
Sounds like bug 1832958 (https:/ /github. com/micheleg/ dash-to- dock/issues/ 963) but I'm not sure because that one is difficult to understand.