Public bug reported:
Wasn't sure if I was supposed to file this feature request under the
Ubuntu Dock GNOME shell extension or here.
BEHAVIOR
Currently, Enabling "Auto-hide" in the Dock section of GNOME control center
actually "intelli-hides" the dock, so that it always is present if no windows
are near it.
EXPECTED BEHAVIOR
For their to be an option somewhere in the dock settings to be able to enable
genuine Auto-hide for users who want the Ubuntu Dock hidden even if there are
no windows near it.
Feature requested while using:
Ubuntu 17.10 beta 2
GNOME Control Center 3.26.0
** Affects: gnome-control-center (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1720730
Title:
Feature Request: proper "Auto-hide" for Ubuntu Dock, not just
"Intelli-hide".
Status in gnome-control-center package in Ubuntu:
New
Bug description:
Wasn't sure if I was supposed to file this feature request under the
Ubuntu Dock GNOME shell extension or here.
BEHAVIOR
Currently, Enabling "Auto-hide" in the Dock section of GNOME control center
actually "intelli-hides" the dock, so that it always is present if no windows
are near it.
EXPECTED BEHAVIOR
For their to be an option somewhere in the dock settings to be able to enable
genuine Auto-hide for users who want the Ubuntu Dock hidden even if there are
no windows near it.
Feature requested while using:
Ubuntu 17.10 beta 2
GNOME Control Center 3.26.0
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1720730/+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
