← Back to branch summary

~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848

~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848

Viewing all changes in revision 969.

Committer: ptaankvist at gmail
Date: 2018-08-05 22:13:16 UTC
Revision ID: ptaankvist@gmail.com-20180805221316-o6fbz12r9g8gchhp

Remember arc label postion when saving

files modified:
src/dk/aau/cs/io/TapnLegacyXmlLoader.java

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

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

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

Show diffs side-by-side

added added

removed removed

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

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

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

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

Older »