Florian Müllner 46edc053d4 overview: Add cover pane directly to overviewGroup
The cover pane is used to block events during transitions, but as
workspaces don't share the same container as other overview elements,
they are currently excempt from the event blocking.
Move the cover pane to the top-level overview container instead.

https://bugzilla.gnome.org/show_bug.cgi?id=709034
2013-10-01 17:16:51 +02:00
..
2013-08-31 19:53:37 +02:00
2013-04-06 11:10:30 -04:00
2011-11-11 11:15:38 -05:00