lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

Created by Lena Said and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108
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

1095. By Lena Said on 2020-09-03

Objects are no longer selected after undoing delete

1094. By Jiri Srba <email address hidden> on 2020-09-03

merged in lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 fixing the loading of game nets with queries

1093. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/enable-AF-game enabeling AF for games

1092. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/refactor-remove-queries removing queires in a unified way by calling the engine options

1091. By Jiri Srba <email address hidden> on 2020-09-01

merged in lp:~tapaal-contributor/tapaal/autodetect-lens-check2 doing autodetection of net type in case it does not have any lens information

1090. By Jiri Srba <email address hidden> on 2020-08-25

merged in lp:~tapaal-contributor/tapaal/merge-query-dialogs that makes a joint reachability and CTL dialog and uses the lens to offer the correct engines

1089. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/memoryMonitor-nullpointer fixing NPE for memory monitor

1088. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory fixing problem with clickin on history

1087. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~yrke/tapaal/fix1891456-clickingTransportArcs fixing double click on transport arc that didn't open any dialog

1086. By Jiri Srba <email address hidden> on 2020-08-24

merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions

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.