Esportazione di file
È possibile esportare i file dal workbench in uno dei modi seguenti:
mediante trascinamento nel filesystem oppure
mediante la modalità copia e incolla nel filesystem oppure
utilizzando la procedura guidata Esportazione.