project export zip file name

[cchafe]

Not an issue... but a suggestion.
The default name is project.zip
Could the export dialog either provide a field for the project name, or just default to the title?

[terryzfeng]

If you set the browser (I'm assuming firefox) to "Ask where to save files", it'll give you a chance to rename the .zip file before it downloads.

Settings > Search "Downloads"

Let me know if that works for you! Or it's not too hard to make the default name just use the filename e.g. "helloSine.ck" => "helloSineProject"

[cchafe]

Right, there's always that -- how to streamline the user experience is the goal

[terryzfeng]

Added descriptive titles, currently on dev branch!