Ticket #15039: 15039.patch

src/org/openstreetmap/josm/gui/MapSlider.java

@@ -4 +4 @@
 import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
 
 import java.awt.Dimension;
-import java.beans.PropertyChangeEvent;
-import java.beans.PropertyChangeListener;
 
 import javax.swing.JSlider;
 import javax.swing.UIManager;
@@ -13 +11 @@
 import javax.swing.event.ChangeListener;
 
 import org.openstreetmap.josm.gui.help.Helpful;
+import org.openstreetmap.josm.gui.NavigatableComponent.ZoomChangeListener;
 
 /**
  * This is the slider used in the top left corner of the map view. It allows the user to select the scale
  */
-class MapSlider extends JSlider implements PropertyChangeListener, ChangeListener, Helpful {
+class MapSlider extends JSlider implements ZoomChangeListener, ChangeListener, Helpful {
 
     private static final double ZOOM_STEP = 1.1;
     private final MapView mv;
@@ -28 +27 @@
         super(0, 160);
         setOpaque(false);
         this.mv = mv;
-        mv.addPropertyChangeListener("scale", this);
+        NavigatableComponent.addZoomChangeListener(this);
         addChangeListener(this);
         // Call this manually once so it gets setup correctly
-        propertyChange(null);
+        zoomChanged();
         int w = UIManager.getDefaults().getInt("Slider.thumbWidth") + 150;
         setPreferredSize(new Dimension(w, 27));
     }
 
     @Override
-    public void propertyChange(PropertyChangeEvent evt) {
+    public void zoomChanged() {
         double maxScale = this.mv.getMaxScale();
         int zoom = (int) Math.round(Math.log(maxScale/mv.getScale())/Math.log(ZOOM_STEP));
         preventChange = true;
@@ -62 +61 @@
             double snapped = mv.scaleFloor(scale);
             mv.zoomTo(this.mv.getCenter(), snapped);
         }
-        propertyChange(null);
+        zoomChanged();
     }
 
     @Override