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

fix a conflict with undo

Created by  Kartik K. Agaram  on October 26, 2023
7MOIMVWOZ75J5JE2LFIZKZ642IIJAV6KJQV5F6PUYNBZTFFCVWTQC
Change contents