On Thu, Apr 14, 2011 at 10:56 AM, Adam Williamson <awill...@redhat.com>wrote:
> 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. > Me too. It is the very epitome of "distraction", with constant animation showing the bar and then not showing it. I don't see how you're losing space here. The top bar is smaller than the gnome panel was. I just don't see how hiding it translates to more real estate. It seems to me you should just get rid of the top bar altogether and rely on the hot key to get to your menu. sri -- > Adam Williamson > Fedora QA Community Monkey > IRC: adamw | Fedora Talk: adamwill AT fedoraproject DOT org > http://www.happyassassin.net > > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > http://mail.gnome.org/mailman/listinfo/gnome-shell-list >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
