marcinjahn/gnome-peek-top-bar-on-fullscreen-extension

Gnome Extension that triggers top panel to show up on full screen apps when cursor hovers the top edge of the screen