On the General > Workspace preference page, you can manage various IDE-specific workspace preferences settings in the Workbench.
|Refresh using native hooks or polling||
If this option is turned on then the workspace resources will be synchronized with their corresponding
resources in the file system automatically using native refresh providers (on Windows) or a polling mechanism.
Note: This can potentially be a lengthy operation depending on the number of resources you have in your workspace.
|Refresh on access||If this option is turned on then files discovered to be out-of-sync by the workspace, for example while accessing the file content by an editor, will be automatically asynchronously refreshed.||Off|
|Always close unrelated projects without prompt||If this option is selected, unrelated projects will be closed without prompt.
Uncheck this option if you want to be asked first.
|Workspace save interval (in minutes)||This number indicates how often the state of the workspace is automatically saved to disk.||5|
|Workspace title (shown in window title)||This string plus " - " will be prepended to the computed title of each workbench window.|
|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|
|Command for launching system explorer||
Use this option to specify what system command is executed for Show In > System Explorer. Platform
|Report unknow project nature as||When a project is configured with a nature which is not defined in the Workbench, a marker can be added on the project resource. This preference allows to configure the severity of such marker.||Warning|
|Text file encoding||Use this option to specify the encoding to use when saving text files in editors.||Default|
|New text file line delimiter||
Use this option to specify the line delimiter to use for new text files.
Note: This will generally not affect the file line delimiter for