Looks like this was fixed for gnome-shell-extension-*ubuntu-dock* in
upload 64ubuntu5 (March 7).
However gnome-shell-extension-*dashtodock* appears unfixed in the Ubuntu
package
This issue is fixed upstream in git master, however, it appears it has not been
released to extensions.gnome.org or a numbered version as yet.
If you want to test the bug, you need to remove the gnome-shell-
extension-ubuntu-dock package, as it overrides the normal dashtodock
package and you can't use the original package unless the ubuntu-dock
package is removed.
** Changed in: gnome-shell-extension-dashtodock (Ubuntu)
Status: Confirmed => Triaged
** Changed in: gnome-shell-extension-dashtodock (Ubuntu)
Importance: Undecided => High
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1819086
Title:
Ubuntu 19.04: Some gnome-shell extensions no longer work since
updating to gnome-shell 3.31/3.32
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-dashtodock/+bug/1819086/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
