A lightweight programming environment for desktop and mobile devices

bugfix: autosave settings

Before this commit we were only saving settings when explicitly hitting the 'settings' button to dismiss the menu. But clicking anywhere outside the menu dismisses it.

Created by  akkartik  on December 1, 2023
RVJNNICYVRHL6NXTFGKMOT4JQFQYLORAINWYXIXFJZC55JRM5VBQC
Change contents