lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206
Branch merges
- Jiri Srba: Approve
-
Diff: 11 lines (+1/-0)1 file modifiedsrc/pipe/gui/undo/UndoManager.java (+1/-0)
Branch information
Recent revisions
- 1009. By Peter Taankvist <email address hidden>
-
Ctrl+z removes the arc being drawn both from drawingSurface and the source of the arc
- 1008. By <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with engine selection and invalid binaries
- 1007. By <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing wrong binary engine NPE
- 1006. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode fixing enabled transitions when selecting Advanced workspace
- 1004. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528 improving tikz export and name placement
- 1003. By Jiri Srba
-
merged in branch lp:~yrke/tapaal/fixes-1821588-orphantransition fixing NPE for orhpan transitions when opening query dialog
- 1002. By Jiri Srba
-
merge in branch lp:~yrke/tapaal/tapaal-fixes1821163 fixing a problem with deleting anchor points on arcs
- 1001. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/double-click-on-arcs-to-edit-1820017 that allows to enter arc dialog by double clicking on a label
- 1000. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/tikz-export-and-arc-labels-1786458 that fixes label positions on arcs during tikz export
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal