Hey, 2011/6/2 Artur Wroblewski <wrob...@pld-linux.org>
> good point. shouldn't some CSS suffice here, i.e. height: 0px or > visibility: none? > No, that would only "hide" the panel background - without doing fancy stuff like animations, you'll need something along the lines of: Main.overview.connect('showing', function() { Main.panel.actor.show(); Main.panel._leftCorner.actor.show(); Main.panel._rightCorner.actor.show(); }); Main.overview.connect('hidden', function() { Main.panel.actor.hide(); Main.panel._leftCorner.actor.hide(); Main.panel._rightCorner.actor.hide(); }); Florian
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list