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