← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/SelectionManager.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/SelectionManager.java
25
25
                java.awt.event.MouseListener, java.awt.event.MouseWheelListener,
26
26
                java.awt.event.MouseMotionListener {
27
27
 
28
 
        private static final long serialVersionUID = 9057152447545103393L;
29
28
        private Point startPoint;
30
29
 
31
30
        private Point upperLeftCorner = new Point(0,0);