Index: /trunk/src/org/openstreetmap/josm/gui/MapSlider.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/MapSlider.java	(revision 13200)
+++ /trunk/src/org/openstreetmap/josm/gui/MapSlider.java	(revision 13201)
@@ -5,6 +5,4 @@
 
 import java.awt.Dimension;
-import java.beans.PropertyChangeEvent;
-import java.beans.PropertyChangeListener;
 
 import javax.swing.JSlider;
@@ -14,9 +12,10 @@
 
 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;
@@ -29,8 +28,8 @@
         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));
@@ -38,5 +37,5 @@
 
     @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));
@@ -63,5 +62,5 @@
             mv.zoomTo(this.mv.getCenter(), snapped);
         }
-        propertyChange(null);
+        zoomChanged();
     }