Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1814889
  2. Comment #3

Comment 3 for bug 1814889

Revision history for this message
Zeno Gantner (zeno-gantner) wrote :

It works again after a reboot.

So for me, the issue is okay now -- which does not mean things like this should happen.

I will let you know in case I find a way to reliably reproduce the behavior.