Not always updating shared place/tranistion name on rename
Bug #1871091 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Peter Haahr Taankvist | ||
Bug Description
To reproduce:
- Create a new with a shared place/transition.
- Copy the template
- Rename the shared place/transition
This issue has been confirmed in dev, trunk, 3.6.0 and 3.4.3.
Related branches
lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091
- Kenneth Yrke Jørgensen: Needs Fixing (code)
- Jiri Srba: Approve
-
Diff: 155 lines (+28/-46)3 files modifiedsrc/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java (+11/-21)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java (+11/-23)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+6/-2)
lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve
-
Diff: 67 lines (+11/-6)2 files modifiedsrc/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java (+1/-1)
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java (+10/-5)
| Changed in tapaal: | |
| status: | New → Confirmed |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| importance: | Undecided → Critical |
| assignee: | nobody → Peter Haahr Taankvist (ptaank) |
| Changed in tapaal: | |
| status: | Confirmed → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Please, branch from the current trunk and fix it there. We need to merge this to 3.6 and also to Kenneth's testbranch.