Export from Web IDE

[Moors7]

Praise the search functionality:

Is there any way to save files from source of Web-Ide?

I want to backup my build sources to local files from web-ide… besides copying every source one by one…is there any way to save build sources in local files from web-ide at one time ?

Feature request for the Web IDE - Import / Export projects

In my opinion it would be very important to have the possibility to Export and Import an application from and to the Web IDE. Maybe in conjunction with a github account ? Another Option would be the possibility to fork an app in the IDE to a second Version with different Name. Any thoughts on this ? Greetings Michael

Way to download Project Source?

Is there any other way that may not be obvious to me that allows you to download your project source? Something similar to the cloud icon that lets you download the firmware. I was wanting to move some files over to a local repository and compile locally but find I have to copy and paste every project source file. It seems like there should be a quick icon or way to zip and download the current project.

And I'm pretty sure there are more of those out there.