animation.c: Schedule a repaint when the animation is done
authorKristian Høgsberg <krh@bitplanet.net>
Wed, 30 Oct 2013 16:07:04 +0000 (09:07 -0700)
committerKristian Høgsberg <krh@bitplanet.net>
Wed, 30 Oct 2013 16:07:04 +0000 (09:07 -0700)
commit90dfb11428f233ae7a8a455dc773099c80bb5287
treee8598ee2d50348ebd2caf05e4820b1dcdad4087e
parent912e0a117acf632b90ea1a883c2390c526fd44c0
animation.c: Schedule a repaint when the animation is done

Otherwise we don't repaint with the final state of the surface and
we're stuck with the second-to-last frame of the animation until
something else (moving the mouse or such) triggers a redraw.

https://bugs.freedesktop.org/show_bug.cgi?id=70930
src/animation.c