GNOME Shell extension
Why do you think that https://gitlab.com/justperfection.channel/just-perfection-gnome-shell-desktop is a good alternative to hide-panel
GNOME Shell extension
Why do you think that https://gitlab.com/justperfection.channel/just-perfection-gnome-shell-desktop is a good alternative to hide-panel