I'm afraid this isn't that high priority for me - however it's probably pretty easy to add if you wanted to.
The source is at https://github.com/espruino/EspruinoWebIDE and it's all HTML/JavaScript/CSS - it's probably some kind of issue around here
@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.
I'm afraid this isn't that high priority for me - however it's probably pretty easy to add if you wanted to.
The source is at https://github.com/espruino/EspruinoWebIDE and it's all HTML/JavaScript/CSS - it's probably some kind of issue around here