Changeset 15602 in josm


Ignore:
Timestamp:
2019-12-20T07:19:47+01:00 (14 months 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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java

    r15231 r15602  
    55import java.util.Date;
    66import java.util.GregorianCalendar;
     7
     8import org.openstreetmap.josm.data.preferences.BooleanProperty;
    79
    810/**
     
    1517
    1618    private static volatile AnimationExtension currentExtension;
     19    private static final BooleanProperty PROP_ANIMATION = new BooleanProperty("gui.start.animation", true);
    1720
    1821    private AnimationExtensionManager() {
     
    2629    public static AnimationExtension getExtension() {
    2730        if (currentExtension == null) {
    28             currentExtension = isChristmas() ? new ChristmasExtension() : new NoExtension();
     31            currentExtension = Boolean.TRUE.equals(PROP_ANIMATION.get()) && isChristmas() ? new ChristmasExtension()
     32                    : new NoExtension();
    2933        }
    3034        return currentExtension;
Note: See TracChangeset for help on using the changeset viewer.