TAPAAL

Merge lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions into lp:tapaal

  1. tapaal-fixes-1849786-arcJumpsBetweenTransitions
  2. Merge into trunk
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1028
Merged at revision: 1028
Proposed branch: lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions
Merge into: lp:tapaal
Diff against target: 14 lines (+4/-0)
1 file modified
src/pipe/gui/graphicElements/Transition.java (+4/-0)
To merge this branch: bzr merge lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions
Reviewer Review Type Date Requested Status
Peter Haahr Taankvist (community) Approve
Jiri Srba Approve
Review via email: mp+375555@code.launchpad.net

Description of the change

This is a quick and dirty hack to fix the bug, in DEV the issue is more regular so we can create a better fix.

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Tested on Mac and I cannot reproduce the bug anymore.

review: Approve
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Works for me too.

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/Transition.java'
2--- src/pipe/gui/graphicElements/Transition.java 2019-05-06 12:21:58 +0000
3+++ src/pipe/gui/graphicElements/Transition.java 2019-11-14 14:47:26 +0000
4@@ -275,6 +275,10 @@
5 Iterator<ArcAngleCompare> arcIterator = arcAngleList.iterator();
6 while (arcIterator.hasNext()) {
7 ArcAngleCompare thisArc = arcIterator.next();
8+ if (thisArc.arc.getTarget()!=this) {
9+ arcIterator.remove();
10+ continue;
11+ }
12 if (thisArc.arc == arc) {
13 thisArc.calcAngle();
14 match = true;

Subscribers

People subscribed via source and target branches