TAPAAL

lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098

Created by Lena Ernstsen on 2021-08-17 and last modified on 2021-08-18

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.

No branches dependent on this one.

Merged into lp:tapaal at revision 1137

Jiri Srba: Approve on 2021-08-18

Undecided

Fix Committed

1136. By Lena Ernstsen on 2021-08-17: Stopped tokens from disappearing when names are changed
1135. By Jiri Srba <email address hidden> on 2021-08-12: 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 on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 fixing the udpate the the drawing surface after removing an object
1133. By Jiri Srba on 2021-08-08: 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 on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790 enabled undo/redo for batch export
1131. By Jiri Srba on 2021-08-08: merged in lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783 fixing scrolling when an arc is hit
1130. By Jiri Srba <email address hidden> on 2021-08-03: merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names
1129. By Jiri Srba <email address hidden> on 2021-08-03: merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo
1128. By Jiri Srba on 2021-04-09: merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

This branch contains Public information

Everyone can see this information.