| commit | d9c54348e0e7d3bb984359f1679ead52d7de9d07 | [log] [tgz] |
|---|---|---|
| author | rganor <rganor> | Tue Apr 13 15:49:46 2010 +0000 |
| committer | rganor <rganor> | Tue Apr 13 15:49:46 2010 +0000 |
| tree | 6886de7b899ae8677f6cbf95bf0a9bc59a092814 | |
| parent | f6f0a190eac55a106d8e9c689cf1eaf9bee4b792 [diff] |
fixed in branch: external storage comparison
diff --git a/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/editor/ExternalStorageEditorInput.java b/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/editor/ExternalStorageEditorInput.java index 59737b0..428114c 100644 --- a/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/editor/ExternalStorageEditorInput.java +++ b/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/editor/ExternalStorageEditorInput.java
@@ -98,6 +98,11 @@ return false; } ExternalStorageEditorInput other = (ExternalStorageEditorInput) obj; + + if (fStorage.getFullPath().equals(other.fStorage.getFullPath())) { + return true; + } + return fStorage.equals(other.fStorage); }