Re: Autohide Top Bar?

[Mystilleef <mystilleef gmail com>]

I opened a bug report for this.

https://bugzilla.gnome.org/show_bug.cgi?id=643662

I don't think there's any interest in it.

It's my biggest disappointment with GNOME Shell. Panels should not
statically consume space. That's bad UI design. If you have to design
a panel or bar that is part of the Shell, make it floatable, or
provide hiding options. Plus bars are so 1980s.

When I have time I'll try to see if I can write a patch, or extension,
to hide it.