I have just enabled proposed and upgraded to gnome-shell-extension-ubuntu-dock (63ubuntu1.18.10.2).
The issue seems to be solved, but I believe it will need more time for testing.
I cannot believe such a high-severity bug has been around since early May, 2018, on both 18.04 LTS and 18.10. Shame on you Canonical!!
I have just enabled proposed and upgraded to gnome-shell- extension- ubuntu- dock (63ubuntu1. 18.10.2) .
The issue seems to be solved, but I believe it will need more time for testing.
I cannot believe such a high-severity bug has been around since early May, 2018, on both 18.04 LTS and 18.10. Shame on you Canonical!!