A lightweight programming environment for desktop and mobile devices

start saving some settings to disk on quit

We're still not reading them anywhere.

Created by  Kartik K. Agaram  on July 1, 2022
7M7LS7I2QT6AFZ6RVK5KK2CZ6SNJAMQIWD7MX34F7MQ3MZKH72GAC
Change contents