Changeset 29171 in osm for applications/viewer

Timestamp:

2013-01-05T13:56:17+01:00 (12 years ago)

Author:

the111

Message:

Fix #josm8329 - Add alternate zoom slider button style. Default/current map and zoom controls unaffected.

File:

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

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

@@ -81 +81 @@
     protected JButton zoomInButton;
     protected JButton zoomOutButton;
+        
+    public static enum ZOOM_BUTTON_STYLE {
+        HORIZONTAL,
+        VERTICAL
+    }
+    protected ZOOM_BUTTON_STYLE zoomButtonStyle;
 
     private TileSource tileSource;
@@ -967 +973 @@
         repaint();
     }
+    
+    public ZOOM_BUTTON_STYLE getZoomButtonStyle() {
+        return zoomButtonStyle;
+    }
+    
+    public void setZoomButtonStyle(ZOOM_BUTTON_STYLE style) {
+        zoomButtonStyle = style;
+        if (zoomSlider == null || zoomInButton == null || zoomOutButton == null) {
+            return;
+        }
+        switch (style) {
+            case HORIZONTAL:
+                zoomSlider.setBounds(10, 10, 30, 150);
+                zoomInButton.setBounds(4, 155, 18, 18);
+                zoomOutButton.setBounds(26, 155, 18, 18);
+                break;
+            case VERTICAL:
+                zoomSlider.setBounds(10, 27, 30, 150);
+                zoomInButton.setBounds(14, 8, 20, 20);
+                zoomOutButton.setBounds(14, 176, 20, 20);
+                break;
+            default:
+                zoomSlider.setBounds(10, 10, 30, 150);
+                zoomInButton.setBounds(4, 155, 18, 18);
+                zoomOutButton.setBounds(26, 155, 18, 18);
+                break;
+        }
+        repaint();
+    }
 
     /**