← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/TransitionHandler.java

  • Committer: Kenneth Yrke Joergensen
  • Date: 2020-04-12 15:33:12 UTC
  • Revision ID: kenneth@yrke.dk-20200412153312-zdlwotgw6b2eejic
Removed last references to NetType and removed NetType

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/TransitionHandler.java
7
7
import javax.swing.JPopupMenu;
8
8
import javax.swing.SwingUtilities;
9
9
 
10
 
import pipe.dataLayer.NetType;
11
 
import pipe.gui.graphicElements.tapn.TimedTransitionComponent;
12
10
import pipe.gui.CreateGui;
13
11
import pipe.gui.Zoomer;
14
12
import pipe.gui.Pipe.ElementType;