I do not have this issue:
1. I am not using Workspace Grid.
2. I also removed the Ubuntu version of Dash to Dock
$ apt --yes --quiet autoremove --purge gnome-shell-extension-ubuntu-dock Then, I downloaded and installed...
https://extensions.gnome.org/extension/307/dash-to-dock/
Since Dash to Dock options were not available in Dconf, I set the options in...
.../<email address hidden>/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml
I do not have this issue:
1. I am not using Workspace Grid.
2. I also removed the Ubuntu version of Dash to Dock
$ apt --yes --quiet autoremove --purge gnome-shell- extension- ubuntu- dock
Then, I downloaded and installed...
https:/ /extensions. gnome.org/ extension/ 307/dash- to-dock/
Since Dash to Dock options were not available in Dconf, I set the options in...
.../<email address hidden> /schemas/ org.gnome. shell.extension s.dash- to-dock. gschema. xml