Feature Request: Allow multiple files download

[HIPPhilipp]

It looks like that currently only individual files can be downloaded. The possibility to select multiple files or directories for download would be great. Thanks

[paulmillar]

Yup, that sounds like a good idea.

[ZNikke]

Since this would likely need to support huge files the common solution of creating a temporary zip file for download would likely be error prone and limit the usability.

I looked around and found https://stackoverflow.com/questions/18451856/how-can-i-let-a-user-download-multiple-files-when-a-button-is-clicked which is a decent summary of the options available.

I first thought the downloads.download() API to be a good match, but that applies only to browser addon development it seems.

[paulmillar]

Whether or not to create a .zip archive is (perhaps) a decision we could delegate to the user: for some people, having the contents in an archive might be better.

It looks like the downloads API exposes the browser's built-in support for downloading files. I didn't see something that suggested it was limited to addon developers, but I didn't read the API that carefully.