/dock-toggle

A GNOME Shell extension which adds a button to top panel to switch Dock mode between "always visible" and "autohide".

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0

Issues