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 a1dd723a6ee711fe63bc5c18b19301df43b4848c..ef5395c197699092fe1b26c9046b687bcb38c4f4 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 @@ -57,7 +57,7 @@ import org.fortiss.tooling.kernel.ui.service.IMarkerService; * @author hoelzl * @author $Author$ * @version $Rev$ - * @ConQAT.Rating GREEN Hash: 702B4DF7A511DDED96D544A643B1F0BE + * @ConQAT.Rating GREEN Hash: 97406556E23ADA709853030640FB078F */ public class MarkerService implements IMarkerService, IPersistencyServiceListener, ILightweightLabelDecorator { @@ -274,6 +274,7 @@ public class MarkerService implements IMarkerService, private void clearViolationCache(ITopLevelElement element) { synchronized (violationCache) { violationCache.remove(element); + updateUI.schedule(); } }