Option to auto-hide top bar
How it would work
If this option get enabled, the top bar would show when approaching the cursor at the top edge of the screen. Also, the top bar would appear above all apps without changing the window size (if it's maximized), with a fancy animation.
Benefits
- More focus in the window and this aligns with the GNOME's philosophy to be distraction-free
- This would remove the need to use a shortcut key to toggle fullscreen mode for a window
- More space for content to show
Edited by Ghost User