Clicking on arc should highlight labels
Bug #1786459 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Peter Haahr Taankvist |
Bug Description
When you select an arc (it turns out blue) the labels on the arcs should be
in blue as well, so that it is easy to find out which label (time interval)
belongs to which arc.
Related branches
lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459
- Jiri Srba: Approve
-
Diff: 25 lines (+4/-0)1 file modifiedsrc/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+4/-0)
Changed in tapaal: | |
assignee: | nobody → Peter Haahr Taankvist (ptaank) |
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.