Source position: gnomeanimator.inc line 68
function gnome_animator_get_playback_speed(
animator: PGnomeAnimator
):gdouble;