Maybe next you should try gnome-shell-extension-dashtodock (turn off Ubuntu Dock during that) and if the same bug happens there then report it to the developers at https://github.com/micheleg/dash-to-dock
Maybe next you should try gnome-shell- extension- dashtodock (turn off Ubuntu Dock during that) and if the same bug happens there then report it to the developers at https:/ /github. com/micheleg/ dash-to- dock