Viewing all changes in revision 916.
- Committer: launchpad-janitor
- Date: 2015-11-13 20:40:39 UTC
- mfrom: (915.1.1 undo-remove-shared-transition)
- Revision ID: tapaal@cs.aau.dk-20151113204039-0cwbt94zgpr8i0mw
Fixes bug #1513783. When deleting a shared transition (and it's arcs) from all components, and then Undoing the deletion, the deleted arcs are now restored along the transition. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- files modified:
- src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java
expand all
collapse all
added
removed
