A lightweight programming environment for desktop and mobile devices

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