Transition displayed as enabled in editor mode
Bug #1641313 reported by
Jakob Dyhr
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Jakob Dyhr | ||
Bug Description
To reproduce:
1. Open intro-example net.
2. Create a new net.
3. Switch back to the intro-example tab, one transition now highlights as if it is enabled.
Related branches
lp:~tapaal-contributor/tapaal/enabled-transition-in-editor-fix-1641313
- Jiri Srba: Approve
-
Diff: 1227 lines (+355/-378)13 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+7/-15)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+4/-7)
src/dk/aau/cs/gui/components/TransitionFireingComponent.java (+9/-13)
src/net/tapaal/Preferences.java (+22/-22)
src/pipe/gui/AnimationHistoryComponent.java (+1/-5)
src/pipe/gui/AnimationSettings.java (+4/-4)
src/pipe/gui/Animator.java (+7/-8)
src/pipe/gui/BlueTransitionControl.java (+0/-260)
src/pipe/gui/DelayEnabledTransitionControl.java (+258/-0)
src/pipe/gui/GuiFrame.java (+31/-33)
src/pipe/gui/Pipe.java (+1/-0)
src/pipe/gui/graphicElements/Transition.java (+10/-10)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-1)
| Changed in tapaal: | |
| status: | New → Confirmed |
| importance: | Undecided → Critical |
| Changed in tapaal: | |
| assignee: | nobody → Jakob Dyhr (jdyhr12) |
| status: | Confirmed → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
