Merge lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 into lp:tapaal
Proposed by
Lena Ernstsen
Status: | Superseded | ||||
---|---|---|---|---|---|
Proposed branch: | lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 | ||||
Merge into: | lp:tapaal | ||||
Diff against target: |
25 lines (+2/-2) 2 files modified
src/dk/aau/cs/gui/TabContent.java (+1/-1) src/pipe/gui/widgets/QueryDialog.java (+1/-1) |
||||
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Needs Fixing | ||
Review via email: mp+410761@code.launchpad.net |
This proposal has been superseded by a proposal from 2021-11-05.
Commit message
Fixed wrong use of lens with merge net components
To post a comment you must log in.
The problem is not fixed. Open e.g. the intro example and change it to untimed net. Then open the query and advanced view and "merge net components". It will open a new merged net that is not both timed and it is also a game.