You have been subscribed to a public bug:
Hello,
Ubuntu 20.04 beta (Apr 2nd 2020)
1. Set in dconf editor under
/org/gnome/shell/extensions/dash-to-dock/
autohide:true
docker-fixed:false
2. Maximize some desktop window and the dock disappears.
Now, move mouse to the dock area but the dock will never appear.
(on 18.04 this works properly - using the same dconf properties in both
20.04 and 18.04)
It should auto appear when you move the mouse where the dock was hidden.
** Affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided
Status: New
** Tags: bot-comment focal
--
Ubuntu 20.04 Dock - Autohide not working
https://bugs.launchpad.net/bugs/1870519
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