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
