Seems this is an issue with gnome-shell: https://gitlab.gnome.org/GNOME/gnome-shell/issues/391
I have rebuilt gnome-shell with the patch from that upstream issue and it resolves this for me - if anyone wants to test I've put it in the following PPA (I just uploaded it so it will take a while to build):
https://launchpad.net/~alexmurray/+archive/ubuntu/lp1765304
Seems this is an issue with gnome-shell: https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues/ 391
I have rebuilt gnome-shell with the patch from that upstream issue and it resolves this for me - if anyone wants to test I've put it in the following PPA (I just uploaded it so it will take a while to build):
https:/ /launchpad. net/~alexmurray /+archive/ ubuntu/ lp1765304