diff options
author | Dani Megert | 2002-07-25 08:51:27 +0000 |
---|---|---|
committer | Dani Megert | 2002-07-25 08:51:27 +0000 |
commit | d94c6cdfe14d1771d761c705388b862e029d7206 (patch) | |
tree | 0d7af93ead82392e7cdc981b1ea60c8dccd8c9d0 | |
parent | ca2967952c76afdd34bc6e463eaf8662d4aa121c (diff) | |
download | eclipse.platform.text-d94c6cdfe14d1771d761c705388b862e029d7206.tar.gz eclipse.platform.text-d94c6cdfe14d1771d761c705388b862e029d7206.tar.xz eclipse.platform.text-d94c6cdfe14d1771d761c705388b862e029d7206.zip |
-rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceDialog.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceDialog.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceDialog.java index 2bcc86be17e..4fd603c7a26 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceDialog.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceDialog.java @@ -347,9 +347,9 @@ public class ReplaceDialog extends Dialog { private void restoreAutoBuildState() { if (!fAutobuild) return; - IWorkspace workspace = ResourcesPlugin.getWorkspace(); + IWorkspace workspace= ResourcesPlugin.getWorkspace(); IWorkspaceDescription description= workspace.getDescription(); - description.setAutoBuilding(fAutobuild); + description.setAutoBuilding(true); try { workspace.setDescription(description); } catch (CoreException e) { |