Unable to re-share place after removal
Bug #1801728 reported by
Peter Haahr Taankvist
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Choose a test net with some shared places/transitions. Remove a shared place/transition using the sidepanel. Choose place and click "Make Shared". An error message will pop up.
Possible solution:
In the error message give an option, yes/no, to share all places of that name in all components.
Related branches
lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 569 lines (+297/-29)9 files modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+17/-6)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java (+6/-4)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java (+93/-0)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java (+4/-2)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java (+90/-0)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+6/-3)
src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java (+39/-6)
src/pipe/gui/widgets/PlaceEditorPanel.java (+21/-3)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+21/-5)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.