- Implement String.substring so mm_on_push can dispatch the pressed button
(Enter did nothing before).
- setScale now writes scaleWidth/scaleHeight/scaleDepth (focused item was
never enlarged); setRotate stores rotation angles.
- animPos/animScale/animColor/animRotate and the animation-table records
(move/resize/recolour/fade/rotate) now tween over their duration via a
60fps Animator thread instead of jumping to the final state.