← Back to branch summary

~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023

~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023

Viewing all changes in revision 986.

Committer: Kenneth Yrke Jørgensen
Date: 2019-03-10 19:47:44 UTC
mfrom: (975.3.71 placetransitionobjecthandler-refactor-cleanup)
Revision ID: kenneth@yrke.dk-20190310194744-zb87sljmwtvix7pz

Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup
after refactorings, removeing code and further refactorings

files modified:
src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TransportArcHandler.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TransportArcHandler.java

Older »