You are reading a single comment by @azrobbo and its replies.
Click here to read the full conversation.
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.
@azrobbo
My mistake, i just re-read your questions/comments and you are correct. I apologize, as I didn't even notice the drop-down thing, as I was just happy that the save-as box popped up at all.
Yes, the IDE number on the Dev/github version IS the same as the release version. But, i'm not sure if release has been updated or not.
And Yes, the 'save as type' drop-down is fixed as 'all files', but the default filename should end in .js (at least)
Sorry & sorry that I couldn't help ya.