lp:~tapaal-contributor/tapaal/update-scrollbar-1938778
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/update-scrollbar-1938778
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
-
Diff: 25 lines (+2/-3)2 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+0/-2)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+2/-1)
Related bugs
Bug #1938778: Removing orphan places/transitions does not update scrollbars properly | 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal