1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
<!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>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>
|
