This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
79ubuntu2.23.04.2
---------------
gnome-shell-extension-ubuntu-dock (79ubuntu2.23.04.2) lunar; 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
-- Marco Trevisan (Treviño) <ma...@ubuntu.com> Fri, 02 Jun 2023
16:37:38 +0200
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu Lunar)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1979096
Title:
gnome-shell search can't launch apps if dock auto-hide is enabled
To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1979096/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
