Owen Taylor f546d92033 Hide the group containing the windows while overlay is up ... When we are animating the overlay, we don't want to be continually redrawing the (obscured) window actors. src/shell-global.c: Add 'window-group' property to expose the group holding the window actors. js/ui/overlay.js: Hide the window group while the overlay is up. svn path=/trunk/; revision=39		2008-11-08 19:33:33 +00:00
..
main.js	Run gnome-terminal on alt-f2	2008-11-07 18:42:23 +00:00
overlay.js	Hide the group containing the windows while overlay is up	2008-11-08 19:33:33 +00:00
panel.js	Draw a border around the panel. Move it to -1,-1 and make the width+2 so we only see the border at the bottom	2008-11-02 03:00:45 +00:00