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 |
Related bugs: |
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.
Seems to fix the issue.