On November 20th, 2013, 11:29 p.m. UTC, Albert Astals Cid wrote:

I think a better solution would be making the animator not a pure singleton but something that gets created and deleted by the window and then just deleting the animator on the window deletion, but that's a big rework, so yeah just commit this and then maybe work on the rework if you have time/stamina?

On November 20th, 2013, 11:30 p.m. UTC, Albert Astals Cid wrote:

branches 4.11 and up, no?

Yes. Tonight (or tomorrow) it will be pushed to 4.11, 4.12 and master. Including your comment for a better solution (just in case). 

- Jaime Torres

On November 14th, 2013, 4:05 p.m. UTC, Jaime Torres Amate wrote:

stop the animation when the main window is about to be closed.

I was able to reproduce the crash easily, now I can't.