| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> | |
| <html> | |
| <head> | |
| <meta name="copyright" content="Copyright (c) IBM Corporation and others 2000, 2005. 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"></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"> | |
| <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>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>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>Refresh automatically</td> | |
| <td><p>If this option is turned on then the workspace resources will be synchronized | |
| with their corresponding resources in the file system automatically.</p> | |
| <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 COLSPAN="1" valign="top" align="left">Open referenced projects when a | |
| project is opened</TD> | |
| <TD COLSPAN="1" valign="top" align="left">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 COLSPAN="1" valign="top" align="left">Prompt</TD> | |
| </TR> | |
| <TR> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para">Text | |
| file encoding</P></TD> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para"> Use | |
| this option to specify the encoding to use when saving text files in editors. | |
| </P></TD> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para">Default | |
| (CP1252)</P></TD> | |
| </TR> | |
| <TR> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para">Text | |
| File line delimiter</P></TD> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para"> Use | |
| this option to specify the line delimiter to use for new text files. <strong>Note:</strong> | |
| This will generally not effect the file line delimiter for<br> | |
| existing files.</P></TD> | |
| <TD ROWSPAN="1" COLSPAN="1" valign="top" align="left"> <P CLASS="Para">Default | |
| </P></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> |