Viewing all changes in revision 937.
- Committer: Jiri Srba
- Date: 2016-11-27 20:19:11 UTC
- mfrom: (936.1.2 enabled-transition-in-editor-fix-1641313)
- Revision ID: srba@cs.aau.dk-20161127201911-julp6mupjrowbx3i
merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow
that also changes the future enabled transitions from blue to yellow
- files added:
- src/pipe/gui/DelayEnabledTransitionControl.java
- files removed:
- src/pipe/gui/BlueTransitionControl.java
- files modified:
- src/dk/aau/cs/gui/TabContent.java
expand all
collapse all
added
removed
