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 _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
