lp:~tapaal-contributor/tapaal/shortcut-undo-1941839

Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/shortcut-undo-1941839
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:
Merged

Recent revisions

1150. By Lena Ernstsen

Added shortcut to undo/redo in query dialog

1149. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 fixing boundedness check in workflow analysis

1148. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file fixing the dialog with information about wrong formated file to be open

1147. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo

1146. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/manual-edit-parsing fixing a problem with the manual query parser

1145. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/boundedness-check-1944588 fixing problem with boundedness check

1144. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422 fixing problem with ghost places in untimed games queries

1143. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/manual-edit-error-messages where manual query edit now shows error messages

1142. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/incorrectly-shared-components-1940403 fixing "cancel" when making a place shared

1141. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/edit-interval-1940402 fixing editing of intervals with constants

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.