Thank you for taking the time to report this bug and helping to make Ubuntu better. Please execute the following command only once, as it will automatically gather debugging information, in a terminal:
apport-collect 1870519 When reporting bugs in the future please use apport by using 'ubuntu- bug' and the name of the package affected. You can learn more about this functionality at https://wiki.ubuntu.com/ReportingBugs. -- 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: Incomplete 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 : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
