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); }