Provided package ** Package changed: ubuntu => gnome-shell-extension-ubuntu-dock (Ubuntu)
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1870519 Title: Ubuntu 20.04 Dock - Autohide not working Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: New Bug description: 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. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
