File menu

This menu allows you to create, save, close, print, import, and export Workbench resources and exit the Workbench itself.

New

This command creates new resources.

Close

This command closes the active editor.

Close All

This command closes all open editors.

Save

This command allows you to save the contents of the active editor.

Save As

This command allows you to save the contents of the active editor under another file name or location.

Save All

This command saves the contents of all open editors.

Revert

This command replaces the contents of the active editor with the previously saved contents.

Move

This command moves the currently selected resources to a different location.

Rename

This command changes the name of the currently selected resource.

Refresh

This command refreshes the resource with the contents in the filesystem.

Print

This command prints the contents of the active editor.

Switch workspace

This command allows you to switch to a different workspace. This will restart the workbench.

Open external file

This command allows you to open files that do not reside in the workspace in the text editor.

Import

This option launches the import wizard, which allows you to add resources to the Workbench.

Export

This option launches the export wizard, which allows you to export resources from the Workbench.

Properties

This command opens the properties dialog for the currently selected resource.

Recent file list

A list of the most recently accessed files in the Workbench is maintained at the bottom of the File menu. Any of these files can be opened from the File menu by simply selecting the file name.

Exit

This command closes and exits the Workbench.