Thank you for your bug report. What session do you use? Is that ubuntu and it's
dock or dash to dock in a GNOME session?
Could you add your 'journalctl -b 0' log to the bug after triggering the issue?
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Incomplete
--
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 : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
