Ok, I had already done that and was checking if upgrading to 3.32.2 solved https://gitlab.gnome.org/GNOME/gnome-shell/issues/1325, which it doesn't :(
I don't know why @vladox is assuming it's fixed in 3.32.2, and I'm not sure whether to interpret Florian intervention as confirming that, but if @vladox is right then https://bugs.launchpad.net/ubuntu/+source /gnome-shell/+bug/1831161 should be reopened. Anyway, looking at https://gitlab.gnome.org/GNOME/gnome- shell/commits/3.33.2 I don't think he is right. This one, of course, can be closed. ** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Invalid -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1842776 Title: Mismatch between package version (3.32.2) and packaged version (3.32.1) Status in gnome-shell package in Ubuntu: Invalid Bug description: Simply: ~:: gnome-shell --version GNOME Shell 3.32.1 ~:: apt info gnome-shell Package: gnome-shell Version: 3.32.2-2ubuntu1~ubuntu19.04.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1842776/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp