Comment 10 for bug 1822846

You can download the Pop!_OS gnome-shell packages here:

https://launchpad.net/~system76/+archive/ubuntu/pop/+packages

We added the commit that fixed this on top of the current Ubuntu version. You will probably only need to install these two deb files:

https://launchpad.net/~system76/+archive/ubuntu/pop/+files/gnome-shell-common_3.32.0+git20190410-1ubuntu1pop0~1555607389~19.04~56282e6_all.deb
https://launchpad.net/~system76/+archive/ubuntu/pop/+files/gnome-shell_3.32.0+git20190410-1ubuntu1pop0~1555607389~19.04~56282e6_amd64.deb