dock-toggle A GNOME Shell extension which adds a button to top panel to switch Dock mode between "always visible" and "autohide". NOTE: This extension does not work with all dock extensions. Works with the following extensions: Dash to Dock, Dash to Dock for COSMIC, Ubuntu Dock