← Back to branch summary

~tapaal-contributor/tapaal/highlight-names-on-select-1786755

~tapaal-contributor/tapaal/highlight-names-on-select-1786755

Viewing all changes in revision 970.

Committer: Jiri Srba
Date: 2018-08-10 11:25:56 UTC
mfrom: (965.5.6 interval-lables-on-arcs-1242848)
Revision ID: srba.jiri@gmail.com-20180810112556-iijfd99ubsqxrtvs

merged in brnch lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848
allowing to move labels of arcs around in the net

files modified:
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/io/TimedArcPetriNetNetworkWriter.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

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

src/pipe/gui/handler/LabelHandler.java

Show diffs side-by-side

added added

removed removed

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/io/TimedArcPetriNetNetworkWriter.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

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

src/pipe/gui/handler/LabelHandler.java

Older »