TAPAAL

lp:~tapaal-contributor/tapaal/manual-edit-error-messages

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

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/manual-edit-error-messages

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 1143

Jiri Srba: Approve on 2021-09-11

1138. By <email address hidden> on 2021-09-11: fixed spacing between "placeswere used"
1137. By Lena Ernstsen on 2021-08-18: Handled null message
1136. By Lena Ernstsen on 2021-08-18: The error found during parsing manual queries is shown to the user
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

This branch contains Public information

Everyone can see this information.