Actually, no. `animationSizeChanged ` is now misnamed.  My last commit introduced crashes if the `Timeline` or `Animation` widget were turned off.  I'm fixing it now.