Perhaps Joachim would be better off using a gtk timer to handle his
animation. Basically, matplotlib tries to provide a GUI neutral way
to do animation (eg anim.py) but if you want to do something
semi-sophisticated like alter the timing between draws, you should
use the GUI specific functionality for this, eg gtk timers.
Thanks for the comments and example, John. I'll study it in detail
For the moment I don't really want to do anything more advanced than
anim.py. The sleep() was only there to make the problem obviously
visible, but it was also present without it.
Longer term, I'd like to be able to pass in a 2d array of y values,
and get a window like the one show() presents, only with a "play"
button for animation plus a slider or similar to navigate to a
specific frame. I don't think this should be too hard, but I don't
know python yet so it may take some time.
The context is that I want to visualise time evolving partial
differential equations. (In general 3d complex-valued ones, but that's
a bit too much information to put in one plot.) So I have results from
the solver, for each time step, no real-time plotting or anything like