1) The design ensures the pager is alive all along the animation lifetime.
2) The pager destroys the animation object when it's disposed and I confirm the animation object takes care of removing the source from the mainloop when it's disposed.
« Back to merge proposal
1) The design ensures the pager is alive all along the animation lifetime.
2) The pager destroys the animation object when it's disposed and I confirm the animation object takes care of removing the source from the mainloop when it's disposed.