lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1131

Jiri Srba: Approve on 2021-08-08

Kenneth Yrke Jørgensen: Approve (code) on 2021-08-05

Diff: 22 lines (+11/-0)

1 file modified

src/dk/aau/cs/gui/TabContent.java (+11/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1938783: Scrolling upwards is interrupted if mouse hits an arc

Undecided

Fix Committed

Link a bug report

Related blueprints

1131. By Lena Ernstsen on 2021-08-04

Scrolling will not be interrupted by arcs anymore

1130. By Jiri Srba <email address hidden> on 2021-08-03

merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names

1129. By Jiri Srba <email address hidden> on 2021-08-03

merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo

1128. By Jiri Srba on 2021-04-09

merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

1127. By Jiri Srba on 2021-04-05

updated copyright and new contributors

1126. By Jiri Srba on 2021-04-04

merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999

1125. By Jiri Srba on 2021-04-04

increased min version number for verifypn to 4.0.0

1124. By Jiri Srba on 2021-04-04

updated icon to 3.8

1123. By Jiri Srba on 2021-04-03

merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 fixing a problem with the layout dialog being on top of all other windows when working

1122. By Jiri Srba on 2021-04-03

merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries