Ticket #18431: 18431.patch

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;
+
 /**
  * Animation extension manager. Copied from Icedtea-Web.
  * @author Jiri Vanek (Red Hat)
@@ -14 +16 @@
 public final class AnimationExtensionManager {
 
     private static volatile AnimationExtension currentExtension;
+    private static final BooleanProperty PROP_ANIMATION = new BooleanProperty("gui.start.animation", true);
 
     private AnimationExtensionManager() {
         // Hide default constructor for utility classes
@@ -25 +28 @@
      */
     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;
     }