Those of you who regularly use fullscreen mode for apps and media content in GNOME Shell are gonna dig the following new GNOME extension. It’s called “Peek Top Bar on Fullscreen” because —shock!— that’s exactly what it does: it lets you mouse up to the top of your display when viewing fullscreen content to show the top bar —crucially— without needing to exit fullscreen mode.
Source: Access GNOME’s Top Bar when Viewing Fullscreen Content – OMG! Linux
