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