lp:~tapaal-contributor/tapaal/manual-edit-parsing

Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/manual-edit-parsing
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Development

Recent revisions

1139. By Lena Ernstsen

Added EOF check to the parsers

1138. By Lena Ernstsen

Checks if the parsed query is unchanged

1137. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place

1136. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075 fixing problem with availability for remove/rename buttons for shared places

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.