** Tags removed: disco eoan
** Also affects: dash-to-dock via
https://github.com/micheleg/dash-to-dock/issues/969
Importance: Unknown
Status: Unknown
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
Submitted bug via github. Issue ID is 969 (https://github.com/micheleg
/dash-to-dock/issues/969).
** Bug watch added: github.com/micheleg/dash-to-dock/issues #969
https://github.com/micheleg/dash-to-dock/issues/969
--
You received this bug notification because you are a member of Ubuntu
Please open an issue for this feature request upstream:
https://github.com/micheleg/dash-to-dock/issues
and then tell us the new issue ID.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1720730
** Tags removed: artful
** Tags added: bionic disco eoan
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1720730
Title:
Feature Request: proper "Auto-hide" for Ubuntu Dock, not just
"Intelli-hide".
** Package changed: gnome-control-center (Ubuntu) => gnome-shell-
extension-ubuntu-dock (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1720730
Title:
Feature Request: proper "Auto-hide" for
** Changed in: gnome-control-center (Ubuntu)
Importance: Undecided => Wishlist
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1720730
Title:
Feature Request: proper "Auto-hide" for Ubuntu Dock,
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-control-center (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
** Tags added: artful
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1720730
Title:
Feature Request: proper "Auto-hide" for Ubuntu Dock, not just
"Intelli-hide".
To manage notifications about