|
Lines 1-5
Link Here
|
| 1 |
/******************************************************************************* |
1 |
/******************************************************************************* |
| 2 |
* Copyright (c) 2005, 2007 IBM Corporation and others. |
2 |
* Copyright (c) 2005, 2008 IBM Corporation and others. |
| 3 |
* All rights reserved. This program and the accompanying materials |
3 |
* All rights reserved. This program and the accompanying materials |
| 4 |
* are made available under the terms of the Eclipse Public License v1.0 |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
| 5 |
* which accompanies this distribution, and is available at |
5 |
* which accompanies this distribution, and is available at |
|
Lines 64-69
Link Here
|
| 64 |
* An optional title for the patchWizard |
64 |
* An optional title for the patchWizard |
| 65 |
*/ |
65 |
*/ |
| 66 |
private String patchWizardTitle; |
66 |
private String patchWizardTitle; |
|
|
67 |
|
| 68 |
private boolean saveAllEditors = true; |
| 67 |
|
69 |
|
| 68 |
/** |
70 |
/** |
| 69 |
* Return whether the given storage contains a patch. |
71 |
* Return whether the given storage contains a patch. |
|
Lines 142-157
Link Here
|
| 142 |
|
144 |
|
| 143 |
saveAllEditors(); |
145 |
saveAllEditors(); |
| 144 |
|
146 |
|
| 145 |
PatchWizard wizard = new PatchWizard(patch, target, configuration); |
147 |
if (saveAllEditors) { |
| 146 |
if (patchWizardImage != null) |
148 |
PatchWizard wizard = new PatchWizard(patch, target, configuration); |
| 147 |
wizard.setDefaultPageImageDescriptor(patchWizardImage); |
149 |
if (patchWizardImage != null) |
| 148 |
if (patchWizardTitle != null) |
150 |
wizard.setDefaultPageImageDescriptor(patchWizardImage); |
| 149 |
wizard.setWindowTitle(patchWizardTitle); |
151 |
if (patchWizardTitle != null) |
| 150 |
wizard.setNeedsProgressMonitor(true); |
152 |
wizard.setWindowTitle(patchWizardTitle); |
| 151 |
|
153 |
wizard.setNeedsProgressMonitor(true); |
| 152 |
PatchWizardDialog dialog = new PatchWizardDialog(getShell(), wizard); |
154 |
|
| 153 |
wizard.setDialog(dialog); |
155 |
PatchWizardDialog dialog = new PatchWizardDialog(getShell(), wizard); |
| 154 |
dialog.open(); |
156 |
wizard.setDialog(dialog); |
|
|
157 |
dialog.open(); |
| 158 |
} |
| 155 |
} |
159 |
} |
| 156 |
|
160 |
|
| 157 |
/** |
161 |
/** |
|
Lines 172-178
Link Here
|
| 172 |
* implementation. |
176 |
* implementation. |
| 173 |
*/ |
177 |
*/ |
| 174 |
protected void saveAllEditors(){ |
178 |
protected void saveAllEditors(){ |
| 175 |
IDE.saveAllEditors(new IResource[]{ResourcesPlugin.getWorkspace().getRoot()}, !ComparePreferencePage.getSaveAllEditors()); |
179 |
saveAllEditors = IDE.saveAllEditors(new IResource[]{ResourcesPlugin.getWorkspace().getRoot()}, !ComparePreferencePage.getSaveAllEditors()); |
| 176 |
} |
180 |
} |
| 177 |
|
181 |
|
| 178 |
/** |
182 |
/** |
