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