← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java
4
4
 
5
5
import pipe.gui.CreateGui;
6
6
import pipe.gui.Pipe;
7
 
import pipe.gui.graphicElements.Place;
8
7
import pipe.gui.graphicElements.PlaceTransitionObject;
9
8
import pipe.gui.handler.TimedArcHandler;
10
9
import pipe.gui.undo.ArcTimeIntervalEdit;