andreyk0/hide-panel-lite

https://extensions.gnome.org/extension/4496/hide-panel-light-version-without-hot-corner/

JavaScript