Merge lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode into lp:tapaal

Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 1006
Merged at revision: 1006
Proposed branch: lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode
Merge into: lp:tapaal
Diff against target: 12 lines (+1/-1)
1 file modified
src/pipe/gui/GuiFrame.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+365301@code.launchpad.net

Commit message

Commented something out that seemingly did not belong where it did. Transitions do no longer turn red when showing advanced workspace. They still turn red when in simulation mode, so it seems to work.

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

Seems to fix the issue.

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/GuiFrame.java'
2--- src/pipe/gui/GuiFrame.java 2019-03-15 19:26:36 +0000
3+++ src/pipe/gui/GuiFrame.java 2019-03-29 20:09:04 +0000
4@@ -1012,7 +1012,7 @@
5 showTokenAgeCheckBox.doClick();
6 }
7 //Delay-enabled Transitions
8- showDelayEnabledTransitions(advanced);
9+ //showDelayEnabledTransitions(advanced);
10 DelayEnabledTransitionControl.getInstance().setValue(new BigDecimal("0.1"));
11 DelayEnabledTransitionControl.getInstance().setDelayMode(ShortestDelayMode.getInstance());
12 DelayEnabledTransitionControl.getInstance().setRandomTransitionMode(false);

Subscribers

People subscribed via source and target branches