lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory
- Get this branch:
- bzr branch lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory
Branch merges
- Jiri Srba: Approve
-
Diff: 22 lines (+1/-2)1 file modifiedsrc/pipe/gui/AnimationHistorySidePanel.java (+1/-2)
Related bugs
Bug #1891635: Cliking on simulation history is broken | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 1087. By Kenneth Yrke Jørgensen
-
Fixes #1891635 - step back by clicking simulation history hightlighed wrong step
Double calles to animBox.
stepBack/ Forward removed. - 1086. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/game-shortcuts adding shortcuts U/E/L for drawing uncontrolalble and urgent transitions
- 1085. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/remove-nongame-queries removing nonvalid queries for the game feature
- 1084. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection
- 1083. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/engine-option-matrix-dev changing how engine selection works
- 1082. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/add-java-info-1890600 adding java info to engine selection
- 1081. By <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/game-example-net chanding the game demo example
- 1080. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/change-net-features allowing to change net features
- 1079. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/game-example-net adding game example net
- 1078. By Jiri Srba
-
merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal