public void StopAnimation(Animated a) { animated_objects.Remove(a); }
void AddToAnimated(Animated a, DateTime t) { if (a.OnMouseOver(t) && !animated_objects.Contains(a)) animated_objects.Add(a); }