A lightweight programming environment for desktop and mobile devices

new car.quit callback for user scripts

This is particularly important for scripts that use my editor widget and need to invoke edit.quit. But it also seems like a good idea anyway.

Created by  akkartik  on December 19, 2023
I27BLL75VM2WNO2TBUFBYQUYVXGERSQTD6UAHAZD5AAYDWRQJNYQC
Change contents