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

fix panning

Some of this was working in assumptions about the menu bar, but it was also just wrong before, not taking the zoom factor into account. As before, I'm not very good at reasoning in pixels.

Created by  Kartik K. Agaram  on December 26, 2022
MAUOADNV62ZEWXWUTNJPVNWE6IFEDN23F6S5YVWW743EQJQ6NNVAC
Change contents