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

bugfix: size text/box when changing zoom

This is a backport from driver.love

Created by  Kartik K. Agaram  on April 23, 2023
P36KIMZCWGBG6CZQE3W5SVTCJMYZOVEZ3U3FAF46SO5ZMMM42PHQC
Change contents