Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1832812
  2. Comment #14

Comment 14 for bug 1832812

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

I suspect this might be the fix we need (coming in gnome-shell 3.36):
https://gitlab.gnome.org/GNOME/gnome-shell/commit/24e631ff