Changeset 12579 in josm for trunk/src/org/openstreetmap

Timestamp:

2017-08-07T11:28:01+02:00 (8 years ago)

Author:

Don-vip

Message:

fix #15120 - NPE

File:

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

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

@@ -123 +123 @@
         Main.map.selectMapMode(oldMode);
         Main.map.mapView.repaint();
-        timer.start();
+        if (timer != null) {
+            timer.start();
+        }
     }