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

bugfix: box height

There's quite possibly more bugs here.

Created by  Kartik K. Agaram  on January 4, 2023
MV6W5JMDU7HP2MBMYGPAIXSF6TSZPSCFIA4MW5VXHDFRIQR4WPPAC
Change contents