The distance metric in automatic layout is heavily affected by current zoom value
Bug #1870896 reported by
Peter Haahr Taankvist
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Peter Haahr Taankvist |
Bug Description
Choose a large net to see the effect. Zoom all the way in or out and try to redraw. The distance between objects will change even though the distance penalty is not changed in any way.
It should probably use a constant value for zoom when doing automatic layout.
Related branches
lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 2173 lines (+662/-432)32 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+2/-2)
src/dk/aau/cs/gui/TabTransformer.java (+4/-14)
src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java (+34/-22)
src/dk/aau/cs/gui/undo/MovePlaceTransitionObject.java (+12/-13)
src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java (+2/-2)
src/dk/aau/cs/io/PNMLWriter.java (+8/-8)
src/dk/aau/cs/io/PNMLoader.java (+15/-17)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+40/-44)
src/dk/aau/cs/io/TapnXmlLoader.java (+37/-42)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+10/-10)
src/dk/aau/cs/verification/TAPNComposer.java (+23/-46)
src/net/tapaal/TAPAAL.java (+1/-1)
src/pipe/gui/CreateGui.java (+1/-0)
src/pipe/gui/Zoomer.java (+20/-16)
src/pipe/gui/graphicElements/ArcPath.java (+1/-1)
src/pipe/gui/graphicElements/ArcPathPoint.java (+21/-30)
src/pipe/gui/graphicElements/NameLabel.java (+4/-7)
src/pipe/gui/graphicElements/PetriNetObject.java (+19/-32)
src/pipe/gui/graphicElements/PetriNetObjectWithLabel.java (+30/-33)
src/pipe/gui/graphicElements/Place.java (+0/-11)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+13/-30)
src/pipe/gui/graphicElements/Transition.java (+6/-6)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+1/-7)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+4/-13)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+10/-7)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+5/-5)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+2/-2)
src/pipe/gui/handler/LabelHandler.java (+4/-4)
src/pipe/gui/handler/PetriNetObjectHandler.java (+16/-3)
src/pipe/gui/handler/PlaceHandler.java (+2/-2)
src/pipe/gui/handler/TransitionHandler.java (+2/-2)
tests/dk/aau/cs/io/TapnXmlLoaderTest.kt (+313/-0)
Changed in tapaal: | |
importance: | Undecided → Medium |
status: | New → In Progress |
Changed in tapaal: | |
assignee: | nobody → Peter Haahr Taankvist (ptaank) |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.