GNOME Bugzilla – Bug 693970
WindowOverlay: remove animations when relayouting
Last modified: 2013-02-16 18:08:48 UTC
If WindowOverlay.relayout() is called without animation, we must stop any preexisting animation, otherwise it will continue to run with the previous parameters and cause the overlay to end up in the wrong position.
Created attachment 236376 [details] [review] WindowOverlay: remove animations when relayouting
Review of attachment 236376 [details] [review]: It's probably worth it to run it unconditionally, as it will work in both cases, and make the code clearer.
Created attachment 236377 [details] [review] WindowOverlay: remove animations when relayouting If WindowOverlay.relayout() is called without animation, we must stop any preexisting animation, otherwise it will continue to run with the previous parameters and cause the overlay to end up in the wrong position.
Review of attachment 236377 [details] [review]: Yes.
Attachment 236377 [details] pushed as 5c7f0a0 - WindowOverlay: remove animations when relayouting