Source position: gnomeanimator.inc line 62
procedure gnome_animator_stop(
animator: PGnomeAnimator
);