General > Workspace
preference page, you can manage
various IDE-specific workspace preferences settings in the Workbench. On the
General > Workspace
preference page, you can manage
various IDE-specific workspace preferences settings in the Workbench.
| 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 |
| Open referenced projects when a project is opened | If this option is enabled opening a project will also open and closed projects it references. Select prompt if you wish to be asked first. | Prompt |
| Text file encoding |
Use this option to specify the encoding to use when saving text files in editors. |
Default (CP1252) |
| Text File line delimiter |
Use
this option to specify the line delimiter to use for new text files. Note:
This will generally not effect the file line delimiter for |
Default |
Here is what the Workspace preferences page looks like:
