Class AnimationExtensionManager
- java.lang.Object
-
- org.openstreetmap.josm.gui.animation.AnimationExtensionManager
-
public final class AnimationExtensionManager extends Object
Animation extension manager. Copied from Icedtea-Web.- Since:
- 14578
- See Also:
- Initial commit
-
-
Field Summary
Fields Modifier and Type Field Description private static AnimationExtension
currentExtension
private static BooleanProperty
PROP_ANIMATION
-
Constructor Summary
Constructors Modifier Constructor Description private
AnimationExtensionManager()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static AnimationExtension
getExtension()
Returns the current animation extension.private static boolean
isChristmas()
static boolean
isExtensionEnabled()
Determines if an extension other thanNoExtension
is enabled.
-
-
-
Field Detail
-
currentExtension
private static volatile AnimationExtension currentExtension
-
PROP_ANIMATION
private static final BooleanProperty PROP_ANIMATION
-
-
Constructor Detail
-
AnimationExtensionManager
private AnimationExtensionManager()
-
-
Method Detail
-
getExtension
public static AnimationExtension getExtension()
Returns the current animation extension.- Returns:
- the current animation extension
-
isExtensionEnabled
public static boolean isExtensionEnabled()
Determines if an extension other thanNoExtension
is enabled.- Returns:
true
if an extension other thanNoExtension
is enabled.- Since:
- 17322
-
isChristmas
private static boolean isChristmas()
-
-