espruino/EspruinoWebIDE — pull request #25 by Granjow (2014-02-02 19:36:10+00:00)
Title: Add button to reload loaded .js file

When using an IDE for editing the .js code, I find it very helpful to reload the file with just a single click instead of opening the dialog again.