The point at which the dock hides unexpectedly actually looks kind of reasonable:
_animateOut@/home/dan/.local/share/gnome-shell/extensions/ubuntu-d...@ubuntu.com/docking.js:764:17 _hide@/home/dan/.local/share/gnome-shell/extensions/ubuntu-d...@ubuntu.com/docking.js:730:18 _hoverChanged@/home/dan/.local/share/gnome-shell/extensions/ubuntu-d...@ubuntu.com/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@/home/dan/.local/share/gnome-shell/extensions/ubuntu-d...@ubuntu.com/appIcons.js:960:14 popupMenu@/home/dan/.local/share/gnome-shell/extensions/ubuntu-d...@ubuntu.com/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. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1967121 Title: Dock auto-hides when a right click context menu is opened while a window is under the dock To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1967121/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
