Ok, I've just updated it on GitHub, but the changes won't take effect until I next update the Web IDE.
Thanks for the heads up.
Is online minification the default setting? If it is, I think you need to fast track getting this fix out there.
@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.
Ok, I've just updated it on GitHub, but the changes won't take effect until I next update the Web IDE.
Thanks for the heads up.