** 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 Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1720730 Title: Feature Request: proper "Auto-hide" for Ubuntu Dock, not just "Intelli-hide". Status in Dash to dock: Unknown Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Confirmed 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/dash-to-dock/+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