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

bugfix: pan to existing definitions

Created by  akkartik  on November 16, 2023
QJPG2AYRNVIBBHCK3QJ4KPK73XPNDLIS44E7PCSD6E3TIFIDVKYQC
Change contents