diff --git a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/internal/MarkerService.java b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/internal/MarkerService.java index 4df97c77898d8d859edd72c4672f302fdec42bab..5850a190e01b68282b1044042e15a9d1c20bddfd 100644 --- a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/internal/MarkerService.java +++ b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/internal/MarkerService.java @@ -52,7 +52,7 @@ import org.fortiss.tooling.kernel.ui.service.IMarkerService; * @author hoelzl * @author $Author$ * @version $Rev$ - * @ConQAT.Rating YELLOW Hash: C6F05FD1064BC3906A9B370FD7A86DA6 + * @ConQAT.Rating YELLOW Hash: EA3CCA4A0C6BD17680255C1E8B2EF742 */ public class MarkerService implements IMarkerService, IPersistencyServiceListener { @@ -97,6 +97,9 @@ public class MarkerService implements IMarkerService, IPersistencyServiceListene toBeRefreshed = invalidElements.remove(0); } while(toBeRefreshed != null) { + if(monitor.isCanceled()) { + return Status.CANCEL_STATUS; + } refreshMarkers(toBeRefreshed); // get next element to be refreshed synchronized(invalidElements) {