Changeset 15602 in josm for trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

Timestamp:

2019-12-20T07:19:47+01:00 (4 years ago)

Author:

GerdP

Message:

fix #18431: add expert option gui.start.animation. If set to false JOSM will not show an animation after next start or restart

File:

• trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

@@ -5 +5 @@
 import java.util.Date;
 import java.util.GregorianCalendar;
+
+import org.openstreetmap.josm.data.preferences.BooleanProperty;
 
 /**
@@ -15 +17 @@
 
     private static volatile AnimationExtension currentExtension;
+    private static final BooleanProperty PROP_ANIMATION = new BooleanProperty("gui.start.animation", true);
 
     private AnimationExtensionManager() {
@@ -26 +29 @@
     public static AnimationExtension getExtension() {
         if (currentExtension == null) {
-            currentExtension = isChristmas() ? new ChristmasExtension() : new NoExtension();
+            currentExtension = Boolean.TRUE.equals(PROP_ANIMATION.get()) && isChristmas() ? new ChristmasExtension()
+                    : new NoExtension();
         }
         return currentExtension;