Feature Request: proper "Auto-hide" for Ubuntu Dock, not just "Intelli-hide".
Bug #1720730 reported by
Jesse
This bug affects 3 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Dash to dock |
Unknown
|
Unknown
|
|||
| gnome-shell-extension-ubuntu-dock (Ubuntu) |
Confirmed
|
Wishlist
|
Unassigned | ||
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
| tags: | added: artful |
Revision history for this message
| Launchpad Janitor (janitor) wrote | #1 |
| Changed in gnome-control-center (Ubuntu): | |
| status: | New → Confirmed |
| Changed in gnome-control-center (Ubuntu): | |
| importance: | Undecided → Wishlist |
| affects: | gnome-control-center (Ubuntu) → gnome-shell-extension-ubuntu-dock (Ubuntu) |
| tags: |
added: bionic disco eoan removed: artful |
Revision history for this message
| Daniel van Vugt (vanvugt) wrote | #2 |
Revision history for this message
| Jesse (jessedubord) wrote | #3 |
| tags: | removed: disco eoan |
To post a comment you must log in.
Status changed to 'Confirmed' because the bug affects multiple users.