lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve (code)
-
Diff: 22 lines (+11/-0)1 file modifiedsrc/dk/aau/cs/gui/TabContent.java (+11/-0)
Related bugs
Bug #1938783: Scrolling upwards is interrupted if mouse hits an arc | Undecided | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 1130. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names
- 1129. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo
- 1128. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux
- 1126. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999
- 1123. By Jiri Srba
-
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
-
merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal