Ubuntu dock set to auto-hide hides after a right-click menu is closed even when there are no reasons for it to do so.
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Dash to dock |
Unknown
|
Unknown
|
|||
gnome-shell-extension-ubuntu-dock (Ubuntu) |
Fix Released
|
Medium
|
Marco Trevisan (Treviño) | ||
Jammy |
Fix Released
|
Medium
|
Marco Trevisan (Treviño) |
Bug Description
[ Impact ]
Dash to dock hides when a right-click menu is closed, even if there's no need for it.
[ Test case ]
1. From settings -> Appearance: Enable dock auto-hide
2. Open a window, ensuring the dock is visible
3. Right click on a dock icon, and then click outside the menu to close it
4. The dock should be visible again and not hide (unless is expected)
[ Regression potential ]
The dock does not hide after closing the menu if a window is below it
---
Description: Ubuntu 22.04 LTS
Release: 22.04
Expected behavior: Dock set to auto-hide would remain shown after either a right-click menu option is selected, or a right-click menu is cancelled.
Actual behavior: Dock hides after a right-click menu closes even when there are no windows in its space.
Additional notes: Dock can be temporarily reset to its normal behavior when one of these actions are performed:
- when a window enters the dock's usual space
- when the "show applications" menu is opened and closed
- when a maximized window is opened and closed/minimized
affects: | ubuntu → gnome-shell-extension-ubuntu-dock (Ubuntu) |
tags: | added: jammy |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu): | |
assignee: | nobody → Marco Trevisan (Treviño) (3v1n0) |
importance: | Undecided → Medium |
status: | Confirmed → In Progress |
Changed in gnome-shell-extension-ubuntu-dock (Ubuntu Jammy): | |
assignee: | nobody → Marco Trevisan (Treviño) (3v1n0) |
importance: | Undecided → Medium |
status: | New → In Progress |
description: | updated |
Thank you for taking the time to report this bug and helping to make Ubuntu better. It seems that your bug report is not filed about a specific source package though, rather it is just filed against Ubuntu in general. It is important that bug reports be filed about source packages so that people interested in the package can find the bugs about it. You can find some hints about determining what package your bug might be about at https:/ /wiki.ubuntu. com/Bugs/ FindRightPackag e. You might also ask for help in the #ubuntu-bugs irc channel on Libera.chat.
To change the source package that this bug is filed about visit https:/ /bugs.launchpad .net/ubuntu/ +bug/1983130/ +editstatus and add the package name in the text box next to the word Package.
[This is an automated message. I apologize if it reached you inappropriately; please just reply to this message indicating so.]