Source position: gnomeanimator.inc line 65
function gnome_animator_get_current_frame_number(
animator: PGnomeAnimator
):guint;