You have been subscribed to a public bug:
Description: Ubuntu 22.04 LTS
Release: 22.04
Expected behavior: Dock set to auto-hide would remain shown after either
a right-click menu option is selected, or a right-click menu is
cancelled.
Actual behavior: Dock hides after a right-click menu closes even when
there are no windows in its space.
Additional notes: Dock can be temporarily reset to its normal behavior when one
of these actions are performed:
- when a window enters the dock's usual space
- when the "show applications" menu is opened and closed
- when a maximized window is opened and closed/minimized
** Affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided
Status: New
** Tags: auto-hide bot-comment dock
--
Ubuntu dock set to auto-hide hides after a right-click menu is closed even when
there are no reasons for it to do so.
https://bugs.launchpad.net/bugs/1983130
You received this bug notification because you are a member of Ubuntu Desktop
Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu.
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
