Label shifting when zooming
Bug #1849782 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Peter Haahr Taankvist |
Bug Description
Make a place with some name. Now try zomming in/out to the extremes and the position
of the label start changing. It seems that the GUI tries to align it to the current
grid size (if the grid is removed than zooming works just fine). It think that in
zooming the alignment to the grid should be disabled.
Related branches
lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782
- Jiri Srba: Approve
-
Diff: 79 lines (+29/-11)2 files modifiedsrc/pipe/gui/graphicElements/PetriNetObject.java (+14/-4)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+15/-7)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.