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 received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1822846 Title: Icon disappears from favorites in gnome-shell 3.32 (upstream dock, not the ubuntu-dock) To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1822846/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
