blob: 285a5b889461a55db1c9ef0b4c47504c94abbd57 [file] [log] [blame]
<!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>
<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 <strong>Workspace</strong> preference page, you can manage
various IDE-specific workspace preferences settings in the Workbench. </p>
<p CLASS="Para">The following preferences can be accessed on the Workspace page
by selecting <strong>Window &gt; Preferences &gt; General &gt; Workspace</strong>.
<br>
</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>
</table>
<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>