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

move default file location

This works better on mobile platforms while seeming about as useful anywhere else.

I've verified that anyone who already edited a file will continue to use its path from settings.

Created by  Kartik K. Agaram  on March 19, 2023
GTRSST7PQKKBFOJ7TR5SQJDWZU2SU4UABIEE2MS25QQ6OUPKXICAC
Change contents