Export

[mikekorth]

An "export project" button would be incredibly useful for anyone wanting to use this IDE

[abose]

@mikekorth Export is already supported as Download project if the folder is not in a local drive. Or is it something else that you have in mind?