lp:~tapaal-contributor/tapaal/shared-places-transitions-multi-remove-1780087
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/shared-places-transitions-multi-remove-1780087
Branch merges
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 261 lines (+94/-66)3 files modifiedsrc/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java (+85/-61)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+8/-4)
src/pipe/gui/widgets/PlaceEditorPanel.java (+1/-1)
Related bugs
Bug #1780087: Shared place/transition multiremove not working | Undecided | Fix Released |
Related blueprints
Branch information
Recent revisions
- 978. By Peter Taankvist <email address hidden>
-
Change error message and handle buttons on multiple selection
- 977. By Peter Taankvist <email address hidden>
-
Each component now only shows once. fix exception message
- 976. By Peter Taankvist <email address hidden>
-
removal of multiple shared places/transitions fix + messages
- 975. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755
that highlights names of selected places and transitions - 974. By Jiri Srba <email address hidden>
-
merged in branch lp:~yrke/tapaal/tapaal-removeObservableDataLayer
removing some code - 973. By Jiri Srba <email address hidden>
-
merged in branch lp:~yrke/tapaal/tapaal-fixes-1
cleaning up in GUI - 972. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn
- 971. By Jiri Srba <email address hidden>
-
merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected
- 970. By Jiri Srba <email address hidden>
-
merged in brnch lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848
allowing to move labels of arcs around in the net
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal