Ticket #9977: mychanges.patch

src/org/openstreetmap/josm/gui/layer/markerlayer/PlayHeadMarker.java

@@ -43 +43 @@
     private boolean enabled;
     private boolean wasPlaying = false;
     private int dropTolerance; /* pixels */
+    private boolean jumpToMarker=false;
 
+
     /**
      * Returns the unique instance of {@code PlayHeadMarker}.
      * @return The unique instance of {@code PlayHeadMarker}.
@@ -279 +281 @@
      */
     public void animate() {
         if (! enabled) return;
+        jumpToMarker=true;
         if (timer == null) {
             animationInterval = Main.pref.getDouble("marker.audioanimationinterval", 1.0); //milliseconds
             timer = new Timer((int)(animationInterval * 1000.0), new ActionListener() {
@@ -294 +297 @@
         timer.start();
     }
 
+    
+    
     /**
      * callback for moving play head marker according to audio player position
      */
@@ -342 +347 @@
                     w1.getEastNorth().interpolate(w2.getEastNorth(),
                             (audioTime - w1.time)/(w2.time - w1.time)));
         time = audioTime;
+        if(jumpToMarker)
+        {
+            jumpToMarker=false;
+            Main.map.mapView.zoomTo(w1.getEastNorth());
+        }
         Main.map.mapView.repaint();
     }
 }