^^^ That's covered by bug 1873725, which is reported upstream so that one looks like a pure gnome-shell bug, not related to ubuntu-dock.
^^^
That's covered by bug 1873725, which is reported upstream so that one looks like a pure gnome-shell bug, not related to ubuntu-dock.