-
• #2
Hmm - thanks - it definitely looks broken. Maybe it should be removed? Presumably very few people use it if this is the first time someone's reported a problem?
If you're using an external editor, have you considered just using EspruinoTools?
npm install espruino
You can make it watch a file and auto-upload when it changes
-
• #3
+1 to fix this
I was just about to report this
Not sure if I am doing something wrong or misunderstand its use, but the Reload file button in the IDE does not work for me in either the Chrome app or standalone app on Windows 10, and never has in previous Windows 8.1 versions as well. Since I do most of my editing in an external Notepad++ tab this would be very handy.