This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
72~ubuntu5.22.04.2.1
---------------
gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.2.1) jammy; urgency=medium
* Keep shell overview always visible and usable (LP: #1979096):
- docking: Do ControlsManagerLayout allocation with box-adjusted workArea
- docking: Be more consistent in reducing the overlay layout space
- docking: Add both bottom and top spacing when there are no workspaces
gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.2) jammy;
urgency=medium
[ Marco Trevisan (Treviño) ]
* debian/control: Update maintainer to myself
* Ensure startup animations are performed on monitor changes (LP: #2019751):
- utils: Ensure we destroy the Signals handler as last thing on destroy
- docking: Do not wait for dash animation two times with no overview
- docking: Ensure we perform the startup animation completely on docks
updates (LP: #1965208)
- docking: Use a try/catch statement on our promise to show errors in case
- docking: Cleanup startup animation injections once done
- docking: Handle monitors changed events while preparing startup animation
- docking: Keep clip and coverPane size matching current setup
- docking: Handle when dash is destroyed during the login animation
* Do not hide the dock when menus are closed (LP: #1983130):
- docking: Ignore hover changes if overview is visible (LP: #1983130)
- docking: Check if autohide or intellihide is enabled on menu closed
* Keep shell overview always visible and usable (LP: #1979096):
- docking: Also reduce the app grid area when in auto-hide mode
(LP: #1992847)
- docking: Use an even width for the overview content area
- docking: Keep overview controls layout proportions when resizing it
(LP: #1992847)
[ Daniel van Vugt ]
* docking: Handle when dash is destroyed during the login animation
(LP: #2019751)
-- Marco Trevisan (Treviño) <[email protected]> Fri, 02 Jun 2023
04:12:06 +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/1983130
Title:
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.
Status in Dash to 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 ]
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
To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1983130/+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
