To delete a file:
- Navigate to the workspace containing the file you want to delete.
- Click on the Files tab to display a list of all files in the workspace, or use the search function to find the required file by name.
- Select the file by clicking anywhere on the row, other than the file name or icon.
- A list of available functions relating to the selected file will appear in the right-hand sidebar. Click 'Delete file' and a popup will confirm that the delete operation has been successful.