lp:~yrke/tapaal/AnimatorCleanup
Created by
Kenneth Yrke Jørgensen
and last modified
Depends on lp:~yrke/tapaal/removeNetType
- Get this branch:
- bzr branch lp:~yrke/tapaal/AnimatorCleanup
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 1465 lines (+303/-420)16 files modified.editorconfig (+4/-4)
src/dk/aau/cs/gui/TabContent.java (+28/-106)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+0/-6)
src/dk/aau/cs/gui/components/TransitionFireingComponent.java (+2/-2)
src/dk/aau/cs/io/TraceImportExport.java (+1/-1)
src/dk/aau/cs/model/tapn/LocalTimedMarking.java (+3/-22)
src/dk/aau/cs/model/tapn/NetworkMarking.java (+1/-37)
src/dk/aau/cs/model/tapn/TimedMarking.java (+1/-5)
src/pipe/dataLayer/DataLayer.java (+4/-4)
src/pipe/gui/AnimationControlSidePanel.java (+40/-73)
src/pipe/gui/AnimationHistoryList.java (+18/-27)
src/pipe/gui/AnimationHistorySidePanel.java (+82/-0)
src/pipe/gui/AnimationSettingsDialog.java (+2/-7)
src/pipe/gui/Animator.java (+115/-80)
src/pipe/gui/DelayEnabledTransitionControl.java (+0/-44)
src/pipe/gui/widgets/AnimationTokenSelectDialog.java (+2/-2)
Branch information
Recent revisions
- 1067. By Kenneth Yrke Jørgensen
-
Renamed AnimationSettings to AnimationSettin
gsDialog to clearify behaviour
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal