lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1065

Jiri Srba: Approve on 2020-07-08

Diff: 75 lines (+10/-7)

1 file modified

src/dk/aau/cs/gui/components/StatisticsPanel.java (+10/-7)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1884365: Net statistics position resets when button is pressed

Undecided

Fix Released

Link a bug report

Related blueprints

1065. By Lena Ernstsen on 2020-07-08

Fixed positioning of the statistics panel when orphans are removed.

1064. By Jiri Srba on 2020-06-22

merged in lp:~yrke/tapaal/updateResourceManager-2 fixing loading of images

1063. By Jiri Srba on 2020-06-22

merged in lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error fixing net composition and position of arc points

1062. By Jiri Srba on 2020-06-22

merged in lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127 addition the option to remove orphan place and fixing bug with orphan transitions that have inhibitor arcs

1061. By Jiri Srba on 2020-06-17

merged in lp:~yrke/tapaal/AnimatorCleanup cleaning up the animator mode

1060. By Jiri Srba on 2020-06-17

merged in lp:~yrke/tapaal/java11 upgrading to min version Java 11

1059. By Jiri Srba on 2020-06-17

merged in lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128 adding merge net components into the tool menu

1058. By Jiri Srba on 2020-06-09

merged in lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 remove explanation button and moving it as tooltips

1057. By Jiri Srba on 2020-06-01

merged in lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 allowing to independently display the shared places/transitions

1056. By Jiri Srba on 2020-05-25

merged in branch lp:~yrke/tapaal/removeNetType removing unused net type UNTIMED