Highliting of selected transition in Enabled Transitions
Bug #1520103 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Mads Johannsen |
Bug Description
When selecting an enabked transition from the enabled transitions box the selected transitions should be highlighted in the net.
Related branches
lp:~tapaal-contributor/tapaal/enabled-transition-highlighting-fix-1520103
- Jiri Srba: Approve
- Mads Johannsen (community): Needs Resubmitting
-
Diff: 192 lines (+57/-22)4 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+2/-0)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+11/-12)
src/pipe/gui/Animator.java (+18/-4)
src/pipe/gui/graphicElements/Transition.java (+26/-6)
Changed in tapaal: | |
status: | New → 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.
Good idea. As we cannot change the color (red and blue have its clear meanin), perhaps increasing slightly the size of the transition
when selected in the menu could be a solution?