diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedInputArcComponent.java b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedInputArcComponent.java index ae0b8c32e..cfba6e6a5 100644 --- a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedInputArcComponent.java +++ b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedInputArcComponent.java @@ -142,6 +142,8 @@ public void updateLabel(boolean showConstantNames) { if(((ConstantWeight) getWeight()).constant().hasFocus()){ focusedConstant = true; } + + isvisible = ((ConstantWeight) getWeight()).constant().getVisible(); /*if(((ConstantWeight) getWeight()).constant().getVisible()){ focusedConstant = false; }*/ diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java index 077af24cc..f85085ecf 100644 --- a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java +++ b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedOutputArcComponent.java @@ -104,6 +104,8 @@ public void updateLabel(boolean displayConstantNames) { if(((ConstantWeight) getWeight()).constant().hasFocus()){ focusedConstant = true; } + + isvisible = ((ConstantWeight) getWeight()).constant().getVisible(); } if (focusedConstant) { getNameLabel().setForeground(Constants.SELECTION_TEXT_COLOUR);