Changeset 9713 in osm for applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer/JMapViewer.java

Timestamp:

2008-08-12T14:16:26+02:00 (17 years ago)

Author:

stotz

Message:

new method: zoomChanged()

File:

• applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer/JMapViewer.java (modified) (13 diffs)

applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer/JMapViewer.java

@@ -43 +43 @@
          * Vectors for clock-wise tile painting
          */
-        protected static final Point[] move = { new Point(1, 0), new Point(0, 1),
-                        new Point(-1, 0), new Point(0, -1) };
+        protected static final Point[] move =
+                        { new Point(1, 0), new Point(0, 1), new Point(-1, 0), new Point(0, -1) };
 
         public static final int MAX_ZOOM = 18;
@@ -102 +102 @@
                 setPreferredSize(new Dimension(400, 400));
                 try {
-                        loadingImage = ImageIO.read(JMapViewer.class
-                                        .getResourceAsStream("images/hourglass.png"));
+                        loadingImage =
+                                        ImageIO.read(JMapViewer.class.getResourceAsStream("images/hourglass.png"));
                 } catch (Exception e1) {
                         loadingImage = null;
@@ -123 +123 @@
                 int size = 18;
                 try {
-                        ImageIcon icon = new ImageIcon(getClass().getResource(
-                                        "images/plus.png"));
+                        ImageIcon icon = new ImageIcon(getClass().getResource("images/plus.png"));
                         zoomInButton = new JButton(icon);
                 } catch (Exception e) {
@@ -140 +139 @@
                 add(zoomInButton);
                 try {
-                        ImageIcon icon = new ImageIcon(getClass().getResource(
-                                        "images/minus.png"));
+                        ImageIcon icon = new ImageIcon(getClass().getResource("images/minus.png"));
                         zoomOutButton = new JButton(icon);
                 } catch (Exception e) {
@@ -170 +168 @@
          */
         public void setDisplayPositionByLatLon(double lat, double lon, int zoom) {
-                setDisplayPositionByLatLon(new Point(getWidth() / 2, getHeight() / 2),
-                                lat, lon, zoom);
+                setDisplayPositionByLatLon(new Point(getWidth() / 2, getHeight() / 2), lat, lon, zoom);
         }
 
@@ -189 +186 @@
          *            {@link #MIN_ZOOM} <= zoom level <= {@link #MAX_ZOOM}
          */
-        public void setDisplayPositionByLatLon(Point mapPoint, double lat,
-                        double lon, int zoom) {
+        public void setDisplayPositionByLatLon(Point mapPoint, double lat, double lon, int zoom) {
                 int x = OsmMercator.LonToX(lon, zoom);
                 int y = OsmMercator.LatToY(lat, zoom);
@@ -197 +193 @@
 
         public void setDisplayPosition(int x, int y, int zoom) {
-                setDisplayPosition(new Point(getWidth() / 2, getHeight() / 2), x, y,
-                                zoom);
+                setDisplayPosition(new Point(getWidth() / 2, getHeight() / 2), x, y, zoom);
         }
 
@@ -210 +205 @@
                 p.y = y - mapPoint.y + getHeight() / 2;
                 center = p;
-                this.zoom = zoom;
-                if (zoomSlider.getValue() != zoom)
-                        zoomSlider.setValue(zoom);
-                repaint();
+                setIgnoreRepaint(true);
+                try {
+                        int oldZoom = this.zoom;
+                        this.zoom = zoom;
+                        if (oldZoom != zoom)
+                                zoomChanged(oldZoom);
+                        if (zoomSlider.getValue() != zoom)
+                                zoomSlider.setValue(zoom);
+                } finally {
+                        setIgnoreRepaint(false);
+                        repaint();
+                }
         }
 
@@ -240 +243 @@
                 // System.out.println(y_min + " < y < " + y_max);
                 // System.out.println("tiles: " + width + " " + height);
-                int zoom = MAX_ZOOM;
+                int newZoom = MAX_ZOOM;
                 int x = x_max - x_min;
                 int y = y_max - y_min;
                 while (x > width || y > height) {
                         // System.out.println("zoom: " + zoom + " -> " + x + " " + y);
-                        zoom--;
+                        newZoom--;
                         x >>= 1;
                         y >>= 1;
@@ -251 +254 @@
                 x = x_min + (x_max - x_min) / 2;
                 y = y_min + (y_max - y_min) / 2;
-                int z = 1 << (MAX_ZOOM - zoom);
+                int z = 1 << (MAX_ZOOM - newZoom);
                 x /= z;
                 y /= z;
-                setDisplayPosition(x, y, zoom);
+                setDisplayPosition(x, y, newZoom);
         }
 
@@ -334 +337 @@
                                         x++;
                                 for (int z = 0; z < x; z++) {
-                                        if (x_min <= posx && posx <= x_max && y_min <= posy
-                                                        && posy <= y_max) { // tile
+                                        if (x_min <= posx && posx <= x_max && y_min <= posy && posy <= y_max) { // tile
                                                 // is
                                                 // visible
@@ -419 +421 @@
                         return;
                 Point2D.Double zoomPos = getPosition(mapPoint);
-                // addMapMarker(new MapMarkerDot(Color.RED, zoomPos.x, zoomPos.y));
                 jobDispatcher.cancelOutstandingJobs(); // Clearing outstanding load
                 // requests
@@ -450 +451 @@
                 }
                 if (!tile.isLoaded()) {
-                        jobDispatcher.addJob(tileLoader.createTileLoaderJob(tilex, tiley,
-                                        zoom));
+                        jobDispatcher.addJob(tileLoader.createTileLoaderJob(tilex, tiley, zoom));
                 }
                 return tile;
+        }
+
+        /**
+         * Every time the zoom level changes this method is called. Override it in
+         * derived implementations for adapting zoom dependent values. The new zoom
+         * level can be obtained via {@link #getZoom()}.
+         * 
+         * @param oldZoom
+         *            the previous zoom level
+         */
+        protected void zoomChanged(int oldZoom) {
         }