| commit | b2e6dcde440ba0a8892b1a41b7e80a3b6e1a45f2 | [log] [tgz] |
|---|---|---|
| author | cbridgha <cbridgha> | Fri Mar 03 16:31:58 2006 +0000 |
| committer | cbridgha <cbridgha> | Fri Mar 03 16:31:58 2006 +0000 |
| tree | d659ad891d93852001f662717ca9e38c6ca9b0d7 | |
| parent | a54a57c3cf6eba8dc82e0b26008506e62aa4815d [diff] |
[130336] Synch fix
diff --git a/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java b/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java index 3c5c4b5..35a3474 100644 --- a/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java +++ b/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java
@@ -222,9 +222,10 @@ } else return false; } + if (isRemove) deferredRemoveResources.add(resource); - else if (resource.isLoaded()) + else if (resource.isLoaded() && !(WorkbenchResourceHelper.isReferencedResource(resource) && WorkbenchResourceHelper.isConsistent((ReferencedResource)resource))) deferredUnloadResources.add(resource); else if (autoloadResourcesURIs.contains(resource.getURI())) deferredLoadResources.add(resource.getURI());