You are reading a single comment by @Gordon and its replies. Click here to read the full conversation.
  • 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/EspruinoWebI­DE/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.

About

Avatar for Gordon @Gordon started