From cac545280779c6886bb1860172dad7149642eb28 Mon Sep 17 00:00:00 2001 From: Johannes Dicks Date: Mon, 27 Jun 2016 15:52:45 +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..768c1370d3 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 priority should start with 1 + return indexOf+1; } }