You can export files from the Workbench either by:
Drag and drop or copy and paste
Show me the files