-
Carlos Garnacho authored
This function takes a region ID and cancels all animations on or beneath that region (as in push/pop_animatable_region). First user of this is GtkWidget itself, so unmapped widgets have looping animations cancelled. Fixes bug #638119, reported by Jesse van den Kieboom.
e6277d3b