[otsaloma]

Something similar for GNOME: 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.