+ if (SwingUtilities.isLeftMouseButton(e))
+ centerMapToEvent(e, getZoom());
+ else if (SwingUtilities.isRightMouseButton(e))
+ centerMapToEvent(e, 1 / getZoom());
+ else if (SwingUtilities.isMiddleMouseButton(e)) {
+ if (fieldPosition != null) {
+ Envelope2D env = new Envelope2D();
+ final double increment = 0.1d;
+ env.setFrameFromDiagonal(fieldPosition.getX() - increment,
+ fieldPosition.getY() - increment, fieldPosition.getX()
+ + increment, fieldPosition.getY() + increment);
+ getMapPane().setDisplayArea(env);
+ }
+ }