def scale_animation(self, animation, width, height):
iter = animation.get_iter()
new = GdkPixbuf.PixbufSimpleAnim(width, height, iter.get_delay_time())
while True:
pbuf = iter.get_pixbuf()
pbuf.scale_simple(width, height)
new.add_frame(pbuf)
