← Back to branch summary

~yrke/tapaal/ControllersAndPushdown

~yrke/tapaal/ControllersAndPushdown

Viewing all changes in revision 1126.

Committer: Kenneth Yrke Joergensen
Date: 2019-09-05 12:12:59 UTC
Revision ID: kenneth@yrke.dk-20190905121259-91j8h0ylbhyuljzb

Zoom is no longer set on copy

files modified:
src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

Older »