public static void CancelAnimation (Animation a) { anims.Remove (a); }
public static void Animate (Animation a) { if (anims.Count == 0) GLib.Timeout.Add (10, new GLib.TimeoutHandler (Animate)); anims.Add (a); }