| <!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=iso-8859-1"> |
| <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.png" alt="command link"> |
| <strong>General > 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>Build automatically</td> |
| <td>If this option is turned on, then the Workbench will perform an automatic |
| build whenever a modified resource is saved.</td> |
| <td>On</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>Save automatically before build</td> |
| <td>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.<br></td> |
| <td>Off<br></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 > 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>Text file encoding</td> |
| <td> Use |
| this option to specify the encoding to use when saving text files in editors.</td> |
| <td>Default (Cp1252)</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> |
| <p> </p><p>Here is what the <strong>Workspace</strong> preferences page looks like:</p> |
| <p><img src="../images/Image209_workspace.png" alt="Preference dialog" border="0" ></p> |
| |
| |
| </body> |
| </html> |
