Re: Autohide Top Bar?

[Adam Williamson <awilliam redhat com>]

On Thu, 2011-04-14 at 13:25 -0400, Mystilleef wrote:
> 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.

I'm with Maciej, if we're doing Highly Unreliable Voting: I *hate*
autohide with a passion.
-- 
Adam Williamson
Fedora QA Community Monkey
IRC: adamw | Fedora Talk: adamwill AT fedoraproject DOT org
http://www.happyassassin.net