Comment 15 for bug 1967121

The point at which the dock hides unexpectedly actually looks kind of reasonable:

_animateOut@/<email address hidden>/docking.js:764:17
_hide@/<email address hidden>/docking.js:730:18
_hoverChanged@/<email address hidden>/docking.js:694:26
pushModal@resource:///org/gnome/shell/ui/main.js:565:29
_onMenuOpenState@resource:///org/gnome/shell/ui/popupMenu.js:1344:31
_emit@resource:///org/gnome/gjs/modules/core/_signals.js:114:47
open@resource:///org/gnome/shell/ui/popupMenu.js:923:14
popup@/<email address hidden>/appIcons.js:960:14
popupMenu@/<email address hidden>/appIcons.js:425:20
vfunc_button_press_event@resource:///org/gnome/shell/ui/appDisplay.js:3149:18

I guess this is probably related to the new grabs logic introduced in gnome-shell 42. That part in gnome-shell seems fine. The mistake I think is in ubuntu-dock itself for assuming notify::hover becoming false is enough reason to hide.