lp:~tapaal-contributor/tapaal/fix-double-undo
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/fix-double-undo
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: 19 lines (+6/-4)1 file modifiedsrc/pipe/gui/canvas/DrawingSurfaceImpl.java (+6/-4)
Branch information
Recent revisions
- 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
- 1120. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal