Workbench

Each Workbench window contains one or more perspectives.  Perspectives contain views and editors and control what appears in certain menus and tool bars.  More than one Workbench window can exist on the desktop at any given time.

The following preferences can be changed on the Workbench page.
 

Option	Description	Default
Perform build automatically on resource modification	If this option is turned on, then the Workbench will perform an automatic build whenever a modified resource is saved.	On
Save all modified resources automatically prior to manual build	If this option is turned on, then whenever you perform a manual build (from the menu bar, select Project > Rebuild All), the Workbench will automatically save all resources that have been modified since the last build was performed.	Off
Link Navigator selection to active editor	If this option is turned on, then when an open file is selected in the Navigator view, the editor containing that file becomes the active editor in the editor area. The reverse is also true: activating an editor will cause the corresponding resource to be selected in the Navigator.  If this option is turned off, then selecting an open file in the Navigator view will have no effect on the editor area. In order to make an editor active, you will have to either click the editor's tab or double-click the file in the Navigator view.	On
Refresh Workspace on startup	If this option is turned on then the workspace resources will be synchronized with their corresponding resources in the file system when the platform is started. Note that this can potentially be a lengthly operation depending on the number of resources you have in your workspace.	Off
Workspace save interval (in minutes)	This number indicates how often the state of the workspace is automatically saved to disk.	5
Open mode...	You can select one of the following methods for opening resources:   Double click - Single clicking on a resource will select it and double clicking on it will open it in an editor. Single click (Select on hover) - Hovering the mouse cursor over the resource will select it and clicking on it once will open it in an editor. Single click (Open when using arrow keys) - Selecting a resource with the arrow keys will open it in an editor.   Note: Depending on which view has focus, selecting and opening a resource may have different behaviour.	Double click

 

Here is what the Workbench preferences page looks like:

Workbench Window Layout