← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/SelectionManager.java
30
30
 
31
31
        private Point startPoint;
32
32
 
33
 
        private Point upperLeftCorner = new Point(0,0);
34
 
        private Rectangle selectionRectangle = new Rectangle(-1, -1);
 
33
        private final Point upperLeftCorner = new Point(0,0);
 
34
        private final Rectangle selectionRectangle = new Rectangle(-1, -1);
35
35
        private boolean isSelecting;
36
36
        private static final Color selectionColor = new Color(0, 0, 255, 30);
37
37
        private static final Color selectionColorOutline = new Color(0, 0, 100);
38
 
        private DrawingSurfaceImpl drawingSurface;
 
38
        private final DrawingSurfaceImpl drawingSurface;
39
39
 
40
40
        public SelectionManager(DrawingSurfaceImpl _view) {
41
41
                addMouseListener(this);