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

improve size of background box

This fixes the regression of 2 commits ago, though it's still not ideal. We sometimes end up with visual artifacts of overly tall bounding boxes that disappear when we pan (call A).

Created by  Kartik K. Agaram  on October 25, 2023
HGDR6KNTVOJA5X7OU27Q6ARYTXH5VC5ZGGSHUDRZYQQA3KMSGPCAC
Change contents