On Thu, Apr 14, 2011 at 2:10 PM, Sriram Ramkrishna <[email protected]> wrote: > > > On Thu, Apr 14, 2011 at 10:56 AM, Adam Williamson <[email protected]> > 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. >
There wouldn't be constant animations because there's nothing useful on the bar to begin with. It's not as if people have to constantly access the bar for anything critical. The argument here is that the bar takes up space and provides very little utility. I don't think you'll appreciate this until you've used a screen without bars or panels. It's makes a difference especially for laptop users with small screens. > 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. > Even better. I suggested adding a trigger widget to corners of the screen too in my bug report. > 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 >> [email protected] >> http://mail.gnome.org/mailman/listinfo/gnome-shell-list > > _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
