A lightweight programming environment for desktop and mobile devices

isolate editor UI from some app changes

There will probably more such things to add.

Created by  akkartik  on December 2, 2023
4OMG2P5EBOWFZGVSNYOVRB33KYGWRXCN3VDR3SHDQWHONE4ITZ6AC
Change contents