Adel Gadllah 76d788a186 windowManager: Add mechanism to block animations
Add an API to allow blocking animations in situations where
they aren't desireable.

https://bugzilla.gnome.org/show_bug.cgi?id=642188
2011-03-08 19:46:46 +01:00
..
2011-03-07 11:15:05 -05:00
2011-03-07 16:53:56 -05:00
2011-02-24 21:22:44 +01:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00
2011-03-04 09:07:15 -05:00
2011-03-07 11:15:05 -05:00
2011-03-04 09:07:15 -05:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00