Merge lp:~yrke/tapaal/fix1891456-clickingTransportArcs into lp:tapaal

Proposed by Kenneth Yrke Jørgensen on 2020-08-24
Status: Merged
Approved by: Jiri Srba on 2020-08-24
Approved revision: 1087
Merged at revision: 1087
Proposed branch: lp:~yrke/tapaal/fix1891456-clickingTransportArcs
Merge into: lp:tapaal
Diff against target: 17 lines (+2/-0)
1 file modified
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+2/-0)
To merge this branch: bzr merge lp:~yrke/tapaal/fix1891456-clickingTransportArcs
Reviewer Review Type Date Requested Status
Jiri Srba 2020-08-24 Approve on 2020-08-24
Review via email: mp+389715@code.launchpad.net
To post a comment you must log in.
Jiri Srba (srba) :
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/TimedTransportArcComponent.java'
2--- src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java 2020-08-04 08:53:19 +0000
3+++ src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java 2020-08-24 13:04:22 +0000
4@@ -50,6 +50,7 @@
5 setUnderlyingArc(model);
6
7 updateLabel(true);
8+ sealArc();
9 }
10
11 public TimedTransportArcComponent(TimedTransitionComponent t, TimedPlaceComponent p, TransportArc model, int group){
12@@ -60,6 +61,7 @@
13 setUnderlyingArc(model);
14
15 updateLabel(true);
16+ sealArc();
17 }
18
19

Subscribers

People subscribed via source and target branches