lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218
Branch merges
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 21 lines (+2/-2)1 file modifiedsrc/pipe/gui/GuiFrame.java (+2/-2)
Branch information
Recent revisions
- 1010. By Peter Taankvist <email address hidden>
-
File belonging to the net is set according to index and not currenttab
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal