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

port an old fix to source editor

Created by  Kartik K. Agaram  on September 17, 2023
O2IL6JT26B6BJ4LHJYWRBY5LICTKXB3QYIS5S7IV4WSIT2EF7HBQC
Change contents