sanjarcode / dockhidebutton Goto Github PK
View Code? Open in Web Editor NEWA gnome extension to hide/unhide dock, from the status bar
Home Page: https://extensions.gnome.org/extension/3085/dock-hide-button/
License: GNU General Public License v3.0