Interval labels on arcs
Bug #1242848 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Peter Haahr Taankvist |
Bug Description
There labels are static (cannot be moved around). It would be nice if they can be dragged to
some other position if necessary (like e.g. names of places and transitions).
Related branches
lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 418 lines (+127/-63)10 files modifiedsrc/dk/aau/cs/io/PNMLoader.java (+4/-0)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+17/-0)
src/dk/aau/cs/io/TapnXmlLoader.java (+17/-0)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+2/-0)
src/pipe/gui/DrawingSurfaceImpl.java (+4/-0)
src/pipe/gui/graphicElements/Arc.java (+14/-3)
src/pipe/gui/graphicElements/PetriNetObject.java (+58/-0)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+1/-54)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+7/-3)
src/pipe/gui/handler/LabelHandler.java (+3/-3)
Changed in tapaal: | |
status: | New → Triaged |
Changed in tapaal: | |
assignee: | nobody → Peter Haahr Taankvist (ptaank) |
importance: | Medium → High |
Changed in tapaal: | |
status: | Triaged → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.