animation: use the frame-clock with GtkAdjustment animation.