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
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 /launchpad. net/~system76/ +archive/ ubuntu/ pop/+files/ gnome-shell_ 3.32.0+ git20190410- 1ubuntu1pop0~ 1555607389~ 19.04~56282e6_ amd64.deb
https:/