Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/update-scrollbar-1938778
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

1132. By Lena Ernstsen

small fix

1131. By Lena Ernstsen

When places/transitions are deleted, scrollbar is updated

1130. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names

1129. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo

1128. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

1127. By Jiri Srba

updated copyright and new contributors

1126. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999

1125. By Jiri Srba

increased min version number for verifypn to 4.0.0

1124. By Jiri Srba

updated icon to 3.8

1123. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 fixing a problem with the layout dialog being on top of all other windows when working

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.