Merge components changes lens
Bug #1947689 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Merge net components for models with at least two components and share places changes
the lens of the merged model. For example untimed game is changed to timed game
and untimed non-game it changed to timed game.
Related branches
lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689
- Jiri Srba: Approve
-
Diff: 25 lines (+2/-2)2 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+1/-1)
src/pipe/gui/widgets/QueryDialog.java (+1/-1)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.