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

1136. By Lena Ernstsen

Stopped tokens from disappearing when names are changed

1135. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/deleting-query-property so that deleting a selection in a query dialog now deletes the whole property that is selected

1134. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 fixing the udpate the the drawing surface after removing an object

1133. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/register-arrow-keys-simulation-1938868 fixing behaviour of left\right arrow keys after leaving simulation mode

1132. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790 enabled undo/redo for batch export

1131. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783 fixing scrolling when an arc is hit

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

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.