You can fork https://github.com/espruino/EspruinoWebIDE on github and even run it as your own version via "yourname".github.io like https://espruino.github.io/EspruinoWebIDE/ so you can do what you want and let us see.
But maybe first check issues here https://github.com/espruino/EspruinoWebIDE/issues and maybe make one there and describe in detail your "miscellaneous complaints about <...> the IDE (mainly speed and reliability), but one main one is the design" . The picture you posted does not explain much.
Personally I like the IDE as it is. Managing whole project = editing multiple files is the only thing I miss sometimes. Also not sure if it is already possible or is even doable but having the possiblility of the loader site to connect to webide emulator and install apps/widgets there like with real device could be nice too.
BTW if you like VS Code maybe making vscode plugin would be better option than redesigning the IDE?
© Espruino, powered by microcosm.
Report a problem