Web editor -- offline?

Thanks for all ideas :grinning:
Gone for Visual Studio Code in the end. Seems nice so far to work with for p5.js and has support via plugins for Dart/Flutter that are also on my ‘try soon’ list :grin: