lp:~yrke/tapaal/fix-940280-stepbackforwardenabled
- Get this branch:
- bzr branch lp:~yrke/tapaal/fix-940280-stepbackforwardenabled
Branch merges
- Jiri Srba: Approve
- Mathias Andersen (community): Approve
-
Diff: 140 lines (+11/-77)2 files modifiedsrc/pipe/gui/AnimationController.java (+8/-75)
src/pipe/gui/GuiFrame.java (+3/-2)
Related bugs
Related blueprints
Branch information
Recent revisions
- 663. By Kenneth Yrke Jørgensen
-
Fix for bug #940280 stepback/-forward are enabled when entering simulation mode
Now simulation actions are not created again in the AnimationControler,
the are shared with GuiFrame. (As it should be) - 660. By Jakob Taankvist
-
Simulation mode contains a new panel with enabled transitions and all panels in
the simulation mode are now resizable. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba - 658. By Jiri Srba
-
Number of tokens in a place is now limited to 999. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
- 657. By Jakob Taankvist
-
The token selection mode in simulator is now not hotkey sensitive any more. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
- 656. By Jakob Taankvist
-
Fixes the problem of untimed trace generation when shared transitions were involved. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal