The save button could allow you to just save over the file on most browsers I think. I just wasn't entirely sure how to choose between "save"/"save as" without adding another button... A little down-arrow as is done for the "open" one?
Another thing to note is the 'watch' functionality is currently global - so once you turn it on, all files that you opened that session are watched for changes. It's probably not ideal but given the percentage of folks that use watch it's probably ok.
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.
The save button could allow you to just save over the file on most browsers I think. I just wasn't entirely sure how to choose between "save"/"save as" without adding another button... A little down-arrow as is done for the "open" one?
Another thing to note is the 'watch' functionality is currently global - so once you turn it on, all files that you opened that session are watched for changes. It's probably not ideal but given the percentage of folks that use watch it's probably ok.