Something similar for GNOME: https://github.com/ghi59/floating-mini-panel https://github.com/ghi59/floating-mini-panel Been using it for a couple weeks now and

Something similar for GNOME: https://github.com/ghi59/floating-mini-panel https://github.com/ghi59/floating-mini-panel Been using it for a couple weeks now and find it really nice. Tried some auto-hide panel extensions before, but this is much better.