There could definitely be an option in the settings screen added for doing this... Could you add an 'issue' for it in: https://github.com/espruino/EspruinoWebIDE/issues ?
Perhaps someone else could contribute this - I have my hands full at the moment, but it shouldn't be a big change.
@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.
There could definitely be an option in the settings screen added for doing this... Could you add an 'issue' for it in: https://github.com/espruino/EspruinoWebIDE/issues ?
Perhaps someone else could contribute this - I have my hands full at the moment, but it shouldn't be a big change.