TAPAAL

Merge lp:~yrke/tapaal/fix1976494 into lp:tapaal

  1. fix1976494
  2. Merge into trunk
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1170
Merged at revision: 1170
Proposed branch: lp:~yrke/tapaal/fix1976494
Merge into: lp:tapaal
Diff against target: 11 lines (+1/-0)
1 file modified
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-0)
To merge this branch: bzr merge lp:~yrke/tapaal/fix1976494
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+423764@code.launchpad.net
To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Fixes the problem.

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java'
2--- src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2021-07-22 19:37:36 +0000
3+++ src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2022-06-01 12:54:04 +0000
4@@ -227,6 +227,7 @@
5 public TimedTransitionComponent copy(TimedArcPetriNet tapn) {
6 TimedTransitionComponent transitionComponent = new TimedTransitionComponent(getOriginalX(), getOriginalY(), id, getNameOffsetX(), getNameOffsetY(), true, false, getAngle(), 0, lens);
7 transitionComponent.setUnderlyingTransition(tapn.getTransitionByName(transition.name()));
8+ transitionComponent.setUncontrollable(isUncontrollable());
9
10 return transitionComponent;
11 }

Subscribers

People subscribed via source and target branches