lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728
Created by
Peter Haahr Taankvist
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- 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)
Related bugs
Bug #1801728: Unable to re-share place after removal | Undecided | Fix Released |
Related blueprints
Branch information
Recent revisions
- 990. By Peter Taankvist <email address hidden>
-
Changed error message and made ok/cancel option instead
- 988. By Peter Taankvist <email address hidden>
-
Add missing brackets, so it false is returned properly
- 984. By Peter Taankvist <email address hidden>
-
Check if named is occupied by transition or place before showing a dialog
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal