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

bugfix: zoom in/out hotkeys

Broken since commit 3b36093553 5 hours ago.

Created by  Kartik K. Agaram  on July 14, 2022
ELIVOJ4NG3XKL4X2D3WYUPAPPZPDT7QL6F55Y4ZZYNBX4WORU6ZAC
Change contents