← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/ArcPathPoint.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/ArcPathPoint.java
271
271
                super.removeFromContainer();
272
272
        }
273
273
 
274
 
        public PetriNetObject paste(double despX, double despY,
275
 
                        boolean toAnotherView) {
276
 
                return null;
277
 
        }
278
 
 
279
 
        public PetriNetObject copy() {
280
 
                return null;
281
 
        }
282
 
 
283
274
        @Override
284
275
        public int getLayerOffset() {
285
276
                return Pipe.ARC_POINT_LAYER_OFFSET;