← 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 966.

Committer: ptaankvist at gmail
Date: 2018-07-24 18:07:04 UTC
Revision ID: ptaankvist@gmail.com-20180724180704-wdlqzr8ohfffjb5g

Add listeners to arcs

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

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

src/dk/aau/cs/io/TapnXmlLoader.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/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/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/handler/LabelHandler.java

Older »