This is now fixed - it'll auto-update when I release the next version of the Web IDE, but if you can't wait you can install the latest version manually using the instructions at https://github.com/espruino/EspruinoWebIDE
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.
This is now fixed - it'll auto-update when I release the next version of the Web IDE, but if you can't wait you can install the latest version manually using the instructions at https://github.com/espruino/EspruinoWebIDE