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
existing files.
|
Default
|