This bug was fixed in the package gnome-shell-extension-ubuntu-dock - 0.9.1ubuntu18.04.3
--------------- gnome-shell-extension-ubuntu-dock (0.9.1ubuntu18.04.3) bionic; urgency=medium
[ Daniel van Vugt ] * Avoid repainting an unchanging dock (LP: #1743976).
[ Andrea Azzarone ] * theming: Ensure _trackingWindows contains valid windows (LP: #1769383) * extension: Ensure signal disconnection (LP: #1769383)
-- Marco Trevisan (Treviño) <email address hidden> Mon, 21 Jan 2019 11:39:02 +0100
This bug was fixed in the package gnome-shell- extension- ubuntu- dock - 0.9.1ubuntu18.04.3
--------------- extension- ubuntu- dock (0.9.1ubuntu18. 04.3) bionic; urgency=medium
gnome-shell-
[ Daniel van Vugt ]
* Avoid repainting an unchanging dock (LP: #1743976).
[ Andrea Azzarone ]
* theming: Ensure _trackingWindows contains valid windows (LP: #1769383)
* extension: Ensure signal disconnection (LP: #1769383)
-- Marco Trevisan (Treviño) <email address hidden> Mon, 21 Jan 2019 11:39:02 +0100