Changeset 17322 in josm for trunk/src/org/openstreetmap/josm/gui/animation

Timestamp:

2020-11-17T02:38:27+01:00 (5 years ago)

Author:

Don-vip

Message:

fix #20018 - disable repaint timer when no animation extension is enabled

File:

• trunk/src/org/openstreetmap/josm/gui/animation/AnimationExtensionManager.java (modified) (1 diff)

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

@@ -35 +35 @@
     }
 
+    /**
+     * Determines if an extension other than {@link NoExtension} is enabled.
+     * @return {@code true} if an extension other than {@code NoExtension} is enabled.
+     * @since 17322
+     */
+    public static boolean isExtensionEnabled() {
+        return !(getExtension() instanceof NoExtension);
+    }
+
     private static boolean isChristmas() {
         Calendar c = new GregorianCalendar();