This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
82ubuntu1
---------------
gnome-shell-extension-ubuntu-dock (82ubuntu1) mantic; urgency=medium
[ Marco Trevisan (Treviño) ]
* New Upstream release v82
* debian/rules: Install prefs.js (it allows to tweak further settings)
* docking: Use upstream addChrome to track actors
* docking: Do ControlsManagerLayout allocation with box-adjusted workArea
(LP: #1979096)
* docking: Be more consistent in reducing the overlay layout space
* docking: Add both bottom and top spacing when there are no workspaces thumbs
* dash: Use a different container to hold floating ShowAppsIcon
* dash: Temporary remove separator when re-displaying icons (LP: #2017523)
* dash: Compute number of icons easily and correctly to show the separator
* dash: Cleanup a bit the icons ordering code
* dash: Animate icons during overview animation but not during startup
[ taoky ]
* intellihide: add dropdown menu to handled window types (LP: #1983456)
[ Sabri Ünal ]
* Update Turkish translation
-- Marco Trevisan (Treviño) <ma...@ubuntu.com> Fri, 02 Jun 2023
03:50:12 +0200
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: In Progress => 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
