The file manager is a very specific tool and use case that would probably benefit from being set aside from the rest.
In the spirit of #364 I suggest moving the File manager to the File resources tab (along with the Preloaded File Resources text box)
Preloaded file resources should be renamed to "Import external files"
Descriptor should be clearer "Uncompressed ZIP folder archive of files to initialize with" is very obscure. I suggest indicate the URL of a ZIP archive to fetch and pre-install on the file manager
The whole tab should be renamed to "External files"
rgaudin
commented
5 months ago
The file manager is a very specific tool and use case that would probably benefit from being set aside from the rest.
In the spirit of #364 I suggest moving the File manager to the File resources tab (along with the
Preloaded File Resourcestext box)Preloaded file resourcesshould be renamed to "Import external files"indicate the URL of a ZIP archive to fetch and pre-install on the file manager