Annotation note hides namelabels
Bug #1848947 reported by
Peter Haahr Taankvist
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Peter Haahr Taankvist |
Bug Description
Annotation note hides namelabels. Make place, make annotation note, drag the note above the place. The namelabel will be hidden under the note.
Related branches
lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 55 lines (+8/-0)4 files modifiedsrc/pipe/gui/Pipe.java (+1/-0)
src/pipe/gui/graphicElements/Arc.java (+1/-0)
src/pipe/gui/graphicElements/NameLabel.java (+4/-0)
src/pipe/gui/graphicElements/PetriNetObject.java (+2/-0)
Changed in tapaal: | |
importance: | Undecided → High |
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.