Created by Peter Haahr Taankvist on 2019-04-28 and last modified on 2019-05-04
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1010. By Peter Taankvist <email address hidden> on 2019-05-04

File belonging to the net is set according to index and not currenttab

1009. By Peter Taankvist <email address hidden> on 2019-04-28

added tab name in parameters of save

1008. By <email address hidden> on 2019-04-23

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with engine selection and invalid binaries

1007. By <email address hidden> on 2019-04-14

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing wrong binary engine NPE

1006. By <email address hidden> on 2019-04-13

merged in lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode fixing enabled transitions when selecting Advanced workspace

1005. By Jiri Srba <email address hidden> on 2019-03-28

increased min version of verifypn to 3.0.2

1004. By Jiri Srba on 2019-03-27

merged in lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528 improving tikz export and name placement

1003. By Jiri Srba on 2019-03-27

merged in branch lp:~yrke/tapaal/fixes-1821588-orphantransition fixing NPE for orhpan transitions when opening query dialog

1002. By Jiri Srba on 2019-03-27

merge in branch lp:~yrke/tapaal/tapaal-fixes1821163 fixing a problem with deleting anchor points on arcs

1001. By Jiri Srba on 2019-03-27

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:
This branch contains Public information 
Everyone can see this information.