Ticket #18431: 18431.patch
File 18431.patch, 1.3 KB (added by , 4 years ago) |
---|
-
src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java
5 5 import java.util.Date; 6 6 import java.util.GregorianCalendar; 7 7 8 import org.openstreetmap.josm.data.preferences.BooleanProperty; 9 8 10 /** 9 11 * Animation extension manager. Copied from Icedtea-Web. 10 12 * @author Jiri Vanek (Red Hat) … … 14 16 public final class AnimationExtensionManager { 15 17 16 18 private static volatile AnimationExtension currentExtension; 19 private static final BooleanProperty PROP_ANIMATION = new BooleanProperty("gui.start.animation", true); 17 20 18 21 private AnimationExtensionManager() { 19 22 // Hide default constructor for utility classes … … 25 28 */ 26 29 public static AnimationExtension getExtension() { 27 30 if (currentExtension == null) { 28 currentExtension = isChristmas() ? new ChristmasExtension() : new NoExtension(); 31 currentExtension = Boolean.TRUE.equals(PROP_ANIMATION.get()) && isChristmas() ? new ChristmasExtension() 32 : new NoExtension(); 29 33 } 30 34 return currentExtension; 31 35 }