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: