A lightweight programming environment for desktop and mobile devices

manually save settings on change to loaded filenames

Created by  akkartik  on December 9, 2023
DZLFYLDUMYM4TXT5WKUHD4YXF2J2TQM5SO4W4VXLPBJNDXYV43VQC
Change contents