A lightweight programming environment for desktop and mobile devices

switch to source editor on error

If we're already in source editor we'll quit as before.

It's ugly that app.lua now knows about run.lua. But it's a start.

Created by  Kartik K. Agaram  on September 4, 2023
IZGZEWFGSMVXXFGMBITHUZUSFAJGWZNBE7LR7PCZ52P2JEO5HAUQC
Change contents