diff options
| author | Erich Gamma | 2002-05-14 17:04:52 +0000 |
|---|---|---|
| committer | Erich Gamma | 2002-05-14 17:04:52 +0000 |
| commit | 9db8586d998a14191aeed17b1fa2e5b55ce1efa5 (patch) | |
| tree | b76bb3bba04a711fda2e534dca8c0190144da850 /bundles/org.eclipse.compare/compare/org/eclipse/compare | |
| parent | a011964f9821321b30ca68e705adc612db86d757 (diff) | |
| download | eclipse.platform.team-9db8586d998a14191aeed17b1fa2e5b55ce1efa5.tar.gz eclipse.platform.team-9db8586d998a14191aeed17b1fa2e5b55ce1efa5.tar.xz eclipse.platform.team-9db8586d998a14191aeed17b1fa2e5b55ce1efa5.zip | |
fix to old semantics of getDirtyEditor
Diffstat (limited to 'bundles/org.eclipse.compare/compare/org/eclipse/compare')
| -rw-r--r-- | bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/CompareUIPlugin.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/CompareUIPlugin.java b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/CompareUIPlugin.java index 7023d3a5e..e2a98768b 100644 --- a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/CompareUIPlugin.java +++ b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/CompareUIPlugin.java @@ -836,7 +836,9 @@ public final class CompareUIPlugin extends AbstractUIPlugin { for (int x= 0; x < pages.length; x++) {
IEditorPart[] editors= pages[x].getDirtyEditors();
for (int z= 0; z < editors.length; z++) {
- result.add(editors[z]);
+ IEditorPart ep= editors[z];
+ if (!result.contains(ep))
+ result.add(ep);
}
}
}
|