lp:~tapaal-contributor/tapaal/Gui-freeze-1896457

Created by Peter Haahr Taankvist on 2020-09-22 and last modified on 2020-10-31
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
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

1106. By Peter Haahr Taankvist on 2020-10-31

Removed debug lines

1105. By Peter Taankvist <email address hidden> on 2020-10-30

Clean up

1104. By Peter Taankvist <email address hidden> on 2020-10-09

Queryloader returns messages like TapnLoader does

1103. By Peter Haahr Taankvist on 2020-09-22

Thread error messages so that they do not freeze gui

1102. By Jiri Srba on 2020-09-16

merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected

1101. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected

1100. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces

1099. By Jiri Srba on 2020-09-12

upgraded icon to 3.7

1098. By <email address hidden> on 2020-09-11

updated minimum version of verifypn to 3.1.0

1097. By Jiri Srba <email address hidden> on 2020-09-10

increased the minimum version of verifydtapn to 3.4.0

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.