blob: 3c995ad2ebeab2c6a7c6ea24822532969ce00234 [file] [log] [blame]
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html lang="en">
<head>
<meta name="copyright" content=
"Copyright (c) IBM Corporation and others 2000, 2011. This page is made available under license. For full details see the LEGAL in the documentation book that contains this page.">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Style-Type" content="text/css">
<meta name="GENERATOR" content="Mozilla/4.75 [en] (Windows NT 5.0; U) [Netscape]">
<title>Workspace</title>
<script language="JavaScript" src="PLUGINS_ROOT/org.eclipse.help/livehelp.js" type="text/javascript"></script>
<link rel="STYLESHEET" href="../book.css" charset="ISO-8859-1" type="text/css">
</head>
<body bgcolor="#FFFFFF">
<h1 class="Head">Workspace</h1>
<p class="Head">On the <a class="command-link" href=
'javascript:executeCommand("org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Workspace)")'>
<img src="PLUGINS_ROOT/org.eclipse.help/command_link.svg" alt="command link"> <strong>General &gt;
Workspace</strong></a> preference page, you can manage various IDE-specific workspace preferences settings in the
Workbench.</p>
<table width="75%" border="1">
<tr>
<td><strong>Option</strong></td>
<td><strong>Description</strong></td>
<td><strong>Default</strong></td>
</tr>
<tr>
<td>Refresh using native hooks or polling</td>
<td>
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.
<p><strong>Note</strong>: This can potentially be a lengthy operation depending on the number of resources you
have in your workspace.</p>
</td>
<td>Off</td>
</tr>
<tr>
<td>Refresh on access</td>
<td>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.</td>
<td>Off</td>
</tr>
<tr>
<td>Always close unrelated projects without prompt</td>
<td>If this option is selected, unrelated projects will be closed without prompt.<br>
Uncheck this option if you want to be asked first.</td>
<td>Off</td>
</tr>
<tr>
<td>Workspace save interval (in minutes)</td>
<td>This number indicates how often the state of the workspace is automatically saved to disk.</td>
<td>5</td>
</tr>
<tr>
<td>Workspace title (shown in window title)</td>
<td>This string plus " - " will be prepended to the computed title of each workbench window.</td>
<td></td>
</tr>
<tr>
<td>Open referenced projects when a project is opened</td>
<td>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.</td>
<td>Prompt</td>
</tr>
<tr>
<td>Command for launching system explorer</td>
<td>
Use this option to specify what system command is executed for <b>Show In &gt; System Explorer</b>. Platform
defaults:
<ul>
<li>Windows: explorer /E,/select=${selected_resource_loc}</li>
<li>Linux: dbus-send --print-reply --dest=org.freedesktop.FileManager1 /org/freedesktop/FileManager1
org.freedesktop.FileManager1.ShowItems array:string:"${selected_resource_uri}" string:""</li>
<li>Mac: open -R "${selected_resource_loc}"</li>
</ul>Supported variables:
<ul>
<li>${selected_resource_loc} - absolute path to the resource</li>
<li>${selected_resource_uri} - file: URI for the resource</li>
<li>${selected_resource_parent_loc} - absolute path to the parent directory</li>
</ul>For older versions of linux, you can use the nautilus command: <code>nautilus
"${selected_resource_parent_loc}"</code>
</td>
<td>Platform default</td>
</tr>
<tr>
<td>Report unknow project nature as</td>
<td>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.</td>
<td>Warning</td>
</tr>
<tr>
<td>Text file encoding</td>
<td>Use this option to specify the encoding to use when saving text files in editors.</td>
<td>Default</td>
</tr>
<tr>
<td>New text file line delimiter</td>
<td>
Use this option to specify the line delimiter to use for new text files.
<p><strong>Note:</strong> This will generally not affect the file line delimiter for<br>
existing files.</p>
</td>
<td>Default</td>
</tr>
</table>
</body>
</html>