Filing

@Simeon - using the export option in Codea to move a number of common files into an archive on Dropbox. Doing this with individual files, which is a little painfull.

Don’t think there is a multiple export on selected files (only on the home export for all files) so I was hoping that you could provide an edit/selection option from the projects window - akin to that in many iOS copy/move/save filing pages. In this way we could select progressive development projects and save them in one archive file. As an extension it would be nice to provide the option of saving/adding the current project file to a selected archive file thus removing the messy movement of files etc - that’s what archives are about.

Could be a new feature for an upgrade version of Codea - with other potential filing improvements.