Changeset 7094 in josm

Timestamp:

2014-05-10T13:15:11+02:00 (10 years ago)

Author:

Don-vip

Message:

fix #9977 - Jumping to play head marker when playing next audio (patch by MatthiasN)

File:

• trunk/src/org/openstreetmap/josm/gui/layer/markerlayer/PlayHeadMarker.java (modified) (4 diffs)

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

@@ -44 +44 @@
     private boolean wasPlaying = false;
     private int dropTolerance; /* pixels */
+    private boolean jumpToMarker = false;
 
     /**
@@ -234 +235 @@
 
         /* Actually do the synchronization */
-        if(ca == null)
-        {
+        if(ca == null) {
             JOptionPane.showMessageDialog(
                     Main.parent,
@@ -280 +280 @@
     public void animate() {
         if (! enabled) return;
+        jumpToMarker = true;
         if (timer == null) {
             animationInterval = Main.pref.getDouble("marker.audioanimationinterval", 1.0); //milliseconds
@@ -343 +344 @@
                             (audioTime - w1.time)/(w2.time - w1.time)));
         time = audioTime;
+        if (jumpToMarker) {
+            jumpToMarker = false;
+            Main.map.mapView.zoomTo(w1.getEastNorth());
+        }
         Main.map.mapView.repaint();
     }