← Back to branch summary

~tapaal-contributor/tapaal/Typos-1896460

« back to all changes in this revision

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

  • Committer: srba.jiri at gmail
  • Date: 2020-08-19 12:02:28 UTC
  • mfrom: (1071.2.34 untimed-timed-gui)
  • Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java
51
51
                                Grid.getModifiedX((int) (arc.getNameLabel().getXPosition() + Zoomer.getZoomedValue(getNameOffsetX(), getZoom()))),
52
52
                                Grid.getModifiedY((int) (arc.getNameLabel().getYPosition() + Zoomer.getZoomedValue(getNameOffsetY(), getZoom())))
53
53
        );
 
54
                this.lens = arc.lens;
54
55
 
55
56
        }
56
57