Re: Autohide Top Bar?

[Sriram Ramkrishna <sri ramkrishna me>]

On Thu, Apr 14, 2011 at 10:56 AM, Adam Williamson <awilliam 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