Layout of loaded net depends on current grid size
Bug #1429880 reported by
Philipp Meyer
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Peter Haahr Taankvist |
Bug Description
When opening a net in TAPAAL, the positions of the elements in the net depend on the currently selected grid size.
How to reproduce:
Start TAPAAL and create a new, empty Petri net.
Change the grid size until it is at its largest spacing.
Open the attached Petri net.
Change the grid size until the grid is disabled.
Open another copy of the attached Petri net.
What happens: The places, transitions and labels are positioned differently in both copies.
What should happen: Both copies of the net should look the same.
Related branches
lp:~tapaal-contributor/tapaal/layout-of-net-depends-on-gridsize-1429880
- Jiri Srba: Approve
-
Diff: 61 lines (+0/-12)2 files modifiedsrc/dk/aau/cs/io/TapnLegacyXmlLoader.java (+0/-7)
src/dk/aau/cs/io/TapnXmlLoader.java (+0/-5)
Changed in tapaal: | |
importance: | Undecided → Medium |
status: | New → Confirmed |
Changed in tapaal: | |
assignee: | nobody → Peter Haahr Taankvist (ptaank) |
Changed in tapaal: | |
status: | Confirmed → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.