Programming environment for editing various of my live apps without restarting them.

make global zoom mode actually work

Now it animates on the way out, animates on the way in. And hitting the hotkey again toggles it back, again with animation.

Created by  Kartik K. Agaram  on January 22, 2023
JYPY2I2R7E4FYGJKIHVBXZ6ASKDRHNVTEXOPCTUXEBT7PLW7IYYQC
Change contents