a) That's odd - are other options remembered? When running from /ide the Web IDE uses cookies to remember options, and maybe those get lost?
b) The 'Project' option isn't usable when the IDE is used from a website because Chrome doesn't provide the needed permissions - thanks for letting me know, I'll see about removing the page completely from Settings if it isn't supported.
c) I think that's an Android issue. save is using the standard way of getting files from a website (https://github.com/espruino/EspruinoWebIDE/blob/gh-pages/js/core/file.js#L132) so it'll always display the 'download' message - when running on desktop it'll let you choose the filename. I don't know if you/anyone has any ideas - I guess on Android it could pop up a box asking for the filename to use, but that's still not a great user experience.
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.
a) That's odd - are other options remembered? When running from
/ide
the Web IDE uses cookies to remember options, and maybe those get lost?b) The 'Project' option isn't usable when the IDE is used from a website because Chrome doesn't provide the needed permissions - thanks for letting me know, I'll see about removing the page completely from Settings if it isn't supported.
c) I think that's an Android issue.
save
is using the standard way of getting files from a website (https://github.com/espruino/EspruinoWebIDE/blob/gh-pages/js/core/file.js#L132) so it'll always display the 'download' message - when running on desktop it'll let you choose the filename. I don't know if you/anyone has any ideas - I guess on Android it could pop up a box asking for the filename to use, but that's still not a great user experience.