diff options
| author | aradermache | 2010-12-15 23:29:34 +0000 |
|---|---|---|
| committer | aradermache | 2010-12-15 23:29:34 +0000 |
| commit | a7f71b9f8f31acb21e4bab66b697490f8a545ce2 (patch) | |
| tree | 3757db5c045da91da4816d6708c05729c1b29a7b | |
| parent | 17324726e5de7e6d98af6f2daa79a70d20330321 (diff) | |
| download | org.eclipse.papyrus-a7f71b9f8f31acb21e4bab66b697490f8a545ce2.tar.gz org.eclipse.papyrus-a7f71b9f8f31acb21e4bab66b697490f8a545ce2.tar.xz org.eclipse.papyrus-a7f71b9f8f31acb21e4bab66b697490f8a545ce2.zip | |
Restored code (accidental check-in of untested variant in which activation checks had been disabled)
| -rw-r--r-- | plugins/uml/org.eclipse.papyrus.diagram.common/src/org/eclipse/papyrus/diagram/common/resourceupdate/ResourceUpdateService.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/uml/org.eclipse.papyrus.diagram.common/src/org/eclipse/papyrus/diagram/common/resourceupdate/ResourceUpdateService.java b/plugins/uml/org.eclipse.papyrus.diagram.common/src/org/eclipse/papyrus/diagram/common/resourceupdate/ResourceUpdateService.java index 8c449c807b3..b7d73cccf79 100644 --- a/plugins/uml/org.eclipse.papyrus.diagram.common/src/org/eclipse/papyrus/diagram/common/resourceupdate/ResourceUpdateService.java +++ b/plugins/uml/org.eclipse.papyrus.diagram.common/src/org/eclipse/papyrus/diagram/common/resourceupdate/ResourceUpdateService.java @@ -125,10 +125,10 @@ public class ResourceUpdateService implements IService, IResourceChangeListener, * A visitor for resource changes. Detects, whether a changed resource belongs to an opened editor */ public boolean visit(IResourceDelta delta) { - // if(!isActive) { + if(!isActive) { // don't follow resource changes, once inactive (either due to save or due to a pending user dialog) - // return false; - // } + return false; + } IResource changedResource = delta.getResource(); if(delta.getFlags() == IResourceDelta.MARKERS) { // only markers have been changed. Refresh their display only (no need to reload resources) |