gdk:frame-clock-end-updating (clock)

clock -- a gdk:frame-clock object

Stops updates for an animation. See the documentation for the gdk:frame-clock-begin-updating function.