Viewing all changes in revision 1088.
- Committer: Jiri Srba
- Date: 2020-08-24 13:56:08 UTC
- mfrom: (1086.2.1 fix1891635-fixStepAnimationHistory)
- Revision ID: srba.jiri@gmail.com-20200824135608-t0djexq3gd06igdz
merged in lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory fixing problem with clickin on history
- files modified:
- src/pipe/gui/AnimationHistorySidePanel.java
expand all
collapse all
added
removed
