On Sun, Jun 21, 2020 at 12:36 PM Félix <[email protected]> wrote:

*launch.json* is also what defines the choices you have when you unfold the
> dropdown beside the green triangle in the run/debug panel. Subsequent F5
> will repeat the startup of the chosen entry's 'launch configuration'.
>

I suspect it was a user error on my part. I'm not too worried about
launch.json.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS02z5-JBt2UTnONpL8QVwKvZ4iVhY-Ti9seBvXXG4aTNg%40mail.gmail.com.

Reply via email to