Well, the Web IDE is all Open Source, so it wouldn't be too hard for you to change the relevant code and issue a pull request if you wanted.
Will look into it, thanks!
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Well, the Web IDE is all Open Source, so it wouldn't be too hard for you to change the relevant code and issue a pull request if you wanted.