Workspace

On the Workspace preference page, you can manage various IDE-specific workspace preferences settings in the Workbench.

The following preferences can be accessed on the Workspace page by selecting Window > Preferences > General > Workspace.

Option Description Default
Build automatically If this option is turned on, then the Workbench will perform an automatic build whenever a modified resource is saved. On
Save automatically before build If this option is selected, when a manual build is performed the Workbench will automatically save all resources that have been modified since the last build was performed.
Off
Workspace save interval (in minutes) This number indicates how often the state of the workspace is automatically saved to disk. 5
Refresh automatically

If this option is turned on then the workspace resources will be synchronized with their corresponding resources in the file system automatically.

Note: This can potentially be a lengthy operation depending on the number of resources you have in your workspace.

Off

Here is what the Workspace preferences page looks like:

Preference dialog