Dock > Change "Automatically Hide Dock" to "Intelligently hide the Dock"

pop-os / gnome-control-center

Pop!_OS fork of https://git.launchpad.net/~ubuntu-desktop/ubuntu/+source/gnome-control-center

GNU General Public License v2.0

29 stars 10 forks source link

Dock > Change "Automatically Hide Dock" to "Intelligently hide the Dock" #170

Closed WatchMkr closed 3 years ago

ids1024 commented 3 years ago

Alternately, it could have a drop-down with the options to always show, autohide, or intelligently hide. Dash to dock seems to support any of these options depending on a couple settings.