From e51700c1f5b805e2d72434cf3587eed11fb8ba17 Mon Sep 17 00:00:00 2001 From: Johannes Dicks Date: Mon, 27 Jun 2016 15:57:23 +0200 Subject: [PATCH] #787 : visible priorities should start with 1 --- .../providers/TransitionPriorityDecorationProvider.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/providers/TransitionPriorityDecorationProvider.java b/plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/providers/TransitionPriorityDecorationProvider.java index 246402efc5..c7ea9867cf 100644 --- a/plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/providers/TransitionPriorityDecorationProvider.java +++ b/plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/providers/TransitionPriorityDecorationProvider.java @@ -119,7 +119,9 @@ public void createDecorators(TransitionEditPart editPart) { public int getPriority(TransitionEditPart editPart) { Transition transition = ((Transition) editPart.resolveSemanticElement()); Vertex container = (Vertex) transition.eContainer(); - return container.getOutgoingTransitions().indexOf(transition); + int indexOf = container.getOutgoingTransitions().indexOf(transition); + //visible priorities should start with 1 + return indexOf+1; } }