matplotlib/matplotlib — pull request #1062 by tacaswell (2012-08-08 20:10:25+00:00)
Title: increased the padding on FileMovieWritter.frame_format_str

I need to generate animations with more than 1000 frames. Increased the padding size to 7 just to be safe.