From 994f1a2db8457800ef1989f122bc4f9046ded09e Mon Sep 17 00:00:00 2001
From: Vincent Aravantinos <aravantinos@fortiss.org>
Date: Wed, 13 Apr 2016 13:34:51 +0000
Subject: [PATCH] updates icons of the navigator view refs 2553

---
 .../kernel/ui/extension/base/ConstraintVerifierUIBase.java      | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
index e4c6da999..69db4b47e 100644
--- a/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
+++ b/org.fortiss.tooling.kernel.ui/trunk/src/org/fortiss/tooling/kernel/ui/extension/base/ConstraintVerifierUIBase.java
@@ -39,6 +39,7 @@ import org.fortiss.tooling.kernel.model.constraints.OutdatedVerificationStatus;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService.IFix;
 import org.fortiss.tooling.kernel.ui.extension.IConstraintVerifierUI;
+import org.fortiss.tooling.kernel.ui.service.INavigatorService;
 
 /**
  * Base class for constraint verification GUI.
@@ -61,6 +62,7 @@ public class ConstraintVerifierUIBase<T extends IConstraint> implements IConstra
 			IConstraintVerificationService.INSTANCE.verify(constraint);
 			IConstraintVerificationStatus currentStatus = constraint.getVerificationStatus();
 			// If the constraint verification resulted in an error, we display it immediately.
+			INavigatorService.INSTANCE.refresh();
 			if(currentStatus instanceof ErrorVerificationStatus & canOpen(currentStatus)) {
 				openStatus(currentStatus);
 			}
-- 
GitLab