lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896
Created by
Peter Haahr Taankvist
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- 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)
Related bugs
Related blueprints
Branch information
Recent revisions
- 1386. By Kenneth Yrke Jørgensen
-
Updated implementation of setOriginalX/Y to repect current zoom level.
- 1384. By Peter Taankvist <email address hidden>
-
Instead of using boolean we make new function. Also merge with positionAsInt
- 1383. By Peter Haahr Taankvist
-
Added option for not using the current zoom when setting position. This is used in smartdraw
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal