Changeset 1518 in josm for trunk/src/org/openstreetmap

Timestamp:

2009-03-30T16:26:45+02:00 (16 years ago)

Author:

stoecker

Message:

fixed #2098 - different zoom steps on zooming in or out - patch by jttt

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• MapMover.java (modified) (1 diff)
• MapView.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/MapMover.java

@@ -182 +182 @@
      */
     public void mouseWheelMoved(MouseWheelEvent e) {
-        int w = nc.getWidth();
-        int h = nc.getHeight();
+        double newScale = nc.getScale() * Math.pow(0.8, - e.getWheelRotation());
 
-        double zoom = Math.max(0.1, 1 + e.getWheelRotation()/5.0);
-        double zoomfactor = (zoom-1)/2+1;
-
-        double newHalfWidth = w*zoomfactor - w/2;
-        double newHalfHeight = h*zoomfactor - h/2;
-        double centerx = e.getX() - (e.getX()-w/2)*newHalfWidth*2/w;
-        double centery = e.getY() - (e.getY()-h/2)*newHalfHeight*2/h;
-        EastNorth newCenter = nc.getEastNorth((int)centerx, (int)centery);
-
-        nc.zoomTo(newCenter, nc.getScale()*zoom);
+        // New center position so that point under the mouse pointer stays the same place as it was before zooming
+        // You will get the formula by simplifying this expression: newCenter = oldCenter + mouseCoordinatesInNewZoom - mouseCoordinatesInOldZoom 
+        double newX = nc.center.east() - (e.getX() - nc.getWidth()/2.0) * (newScale - nc.scale);
+        double newY = nc.center.north() + (e.getY() - nc.getHeight()/2.0) * (newScale - nc.scale);
+                      
+        nc.zoomTo(new EastNorth(newX, newY), newScale);
     }
 

trunk/src/org/openstreetmap/josm/gui/MapView.java

@@ -89 +89 @@
             @Override public void componentResized(ComponentEvent e) {
                 removeComponentListener(this);
+                
+                MapSlider zoomSlider = new MapSlider(MapView.this);
+                add(zoomSlider);
+                zoomSlider.setBounds(3, 0, 114, 30);
+
+                MapScaler scaler = new MapScaler(MapView.this, Main.proj);
+                add(scaler);
+                scaler.setLocation(10,30);
 
                 if (!zoomToEditLayerBoundingBox())
@@ -115 +123 @@
                     Main.contentPane.getActionMap().put("RIGHT", mv);
                 }
-
-                MapSlider zoomSlider = new MapSlider(MapView.this);
-                add(zoomSlider);
-                zoomSlider.setBounds(3, 0, 114, 30);
-
-                MapScaler scaler = new MapScaler(MapView.this, Main.proj);
-                add(scaler);
-                scaler.setLocation(10,30);
             }
         });