Maybe not really fixed yet. Apparently it's still happening:
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7744
** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/-/issues #7744
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7744
** Changed in: gnome-shell (Ubuntu)
Status
Fixed upstream: https://gitlab.gnome.org/GNOME/gnome-
shell/-/merge_requests/3354
** Changed in: gnome-shell (Ubuntu)
Status: Confirmed => Fix Committed
** Tags added: fixed-in-gnome-shell-47 fixed-upstream
--
You received this bug notification because you are a member of Ubuntu
Bugs, wh
** Changed in: gnome-shell
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1965123
Title:
Rounded corners are missing (square indents instead)
To manage notificatio
The dock fix isn't actually a fix, it's just a workaround:
https://github.com/micheleg/dash-to-dock/commit/46b81aeb4bf18d2f8a75fbf2d0ef6c047f3711f2
I expect that if we can get a proper fix into gnome-shell then the
workaround can be removed.
--
You received this bug notification because you are
This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
89ubuntu1
---
gnome-shell-extension-ubuntu-dock (89ubuntu1) noble; urgency=medium
[ Marco Trevisan (Treviño) ]
* metadata: Bump to version 89
* dependencies/gi: Use shorter syntax for dependencies imports
*
