gnome-peek-top-bar-on-fullscreen-extension
gnome-peek-top-bar-on-fullscreen-extension copied to clipboard
Gnome Extension that triggers top panel to show up on full screen apps when cursor hovers the top edge of the screen