On Tue, Jun 16, 2020 at 4:27 PM enh via Toybox <toybox at lists.landley.net> wrote: > (i'm personally looking forward to the web editor they've talked about, > if it's anything close to Visual Studio Code --- which it ought to be, given > that that's just Javascript.) You mean this? https://www.gitpod.io/ Looks like it might be ready... ______ Dennis