[Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

[Daniel van Vugt]

** Bug watch added: github.com/micheleg/dash-to-dock/issues #1938
   https://github.com/micheleg/dash-to-dock/issues/1938

** Also affects: dash-to-dock via
   https://github.com/micheleg/dash-to-dock/issues/1938
   Importance: Unknown
   Status: Unknown

** Changed in: dash-to-dock
 Remote watch: github.com/micheleg/dash-to-dock/issues #1938 => 
github.com/micheleg/dash-to-dock/issues #1157

-- 
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.
https://bugs.launchpad.net/bugs/1870519

Title:
  Ubuntu 20.04 Dock - Autohide not working

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1870519/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

[Jakub Klos]

Provided package

** Package changed: ubuntu => gnome-shell-extension-ubuntu-dock (Ubuntu)

-- 
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.
https://bugs.launchpad.net/bugs/1870519

Title:
  Ubuntu 20.04 Dock - Autohide not working

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs