Downloading a file from server
Select the target file in the Workspace panel.
Go to → from the top menu.
The file will be sent to the client and the suggestion window will be shown for you to save the file into your local device.
You can upload a file from your local device to the IDE Workspace.
Select your desired folder in the Workspace panel.
Go to → from the top menu.
Click to select your desired file from the local device.
Select the appropriate MIME type if needed.
Click .
The file is uploaded to the server.