The menu bar contains the following buttons:
Users can open or save files, switch workspace, set parameters or exit the system.
Click on "Preferences" to open a new dialog to set certain parameters.
Users can repeat or cancel the previous operation, or conduct commonly used editing operations such as cut/copy/paste and find/replace.
Users can choose a part of the script in the Editor and then hit "Execute" to execute just this part of the script. If users do not choose any particular part of the script in the Editor before hitting "Execute", then the entire script will be executed.
Users can either add a server, or edit a server.
Click "Add Server" menu to open a new dialog to add a new server.
Click "Edit Server" to open a dialog where users can edit or delete servers.