The setting you are using isn't exposed in the UI and not officially supported,
best to report upstream on
https://github.com/micheleg/dash-to-dock/issues
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => Low
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Incomplete => New
--
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.
---
ProblemType: Bug
ApportVersion: 2.20.11-0ubuntu22
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
DistroRelease: Ubuntu 20.04
InstallationDate: Installed on 2020-04-06 (0 days ago)
InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
PackageArchitecture: all
ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
Tags: focal
Uname: Linux 5.4.0-21-generic x86_64
UpgradeStatus: No upgrade log present (probably fresh install)
UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
_MarkForUpload: True
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
