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