Changeset 14578 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2018-12-21T00:22:27+01:00 (5 years ago)

Author:

Don-vip

Message:

It's Christmas time! Animate our "Getting Started" page with shining stars.

Adapted from Icedtea-Web, original code by Jiri Vanek (Red Hat).
See ​http://icedtea.classpath.org/hg/icedtea-web/rev/87d3081ab573

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• GettingStarted.java (modified) (5 diffs)
• animation (added)
• animation/AnimationExtension.java (added)
• animation/AnimationExtensionManager.java (added)
• animation/ChristmasExtension.java (added)
• animation/NoExtension.java (added)

trunk/src/org/openstreetmap/josm/gui/GettingStarted.java

@@ -6 +6 @@
 import java.awt.BorderLayout;
 import java.awt.EventQueue;
+import java.awt.Graphics;
 import java.io.IOException;
 import java.net.URL;
@@ -15 +16 @@
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
+import javax.swing.Timer;
 import javax.swing.border.EmptyBorder;
 import javax.swing.event.HyperlinkEvent;
@@ -21 +23 @@
 import org.openstreetmap.josm.actions.DownloadPrimitiveAction;
 import org.openstreetmap.josm.data.Version;
+import org.openstreetmap.josm.gui.animation.AnimationExtensionManager;
 import org.openstreetmap.josm.gui.datatransfer.OpenTransferHandler;
 import org.openstreetmap.josm.gui.dialogs.MenuItemSearchDialog;
@@ -46 +49 @@
     private String content = "";
     private boolean contentInitialized;
+    private final Timer timer = new Timer(50, e -> repaint());
 
     private static final String STYLE = "<style type=\"text/css\">\n"
@@ -142 +146 @@
 
         setTransferHandler(new OpenTransferHandler());
+    }
+
+    @Override
+    public void addNotify() {
+        timer.start();
+        super.addNotify();
+    }
+
+    @Override
+    public void removeNotify() {
+        timer.stop();
+        super.removeNotify();
+    }
+
+    @Override
+    public void paint(Graphics g) {
+        super.paint(g);
+        if (isShowing()) {
+            AnimationExtensionManager.getExtension().adjustForSize(getWidth(), getHeight());
+            AnimationExtensionManager.getExtension().animate();
+            AnimationExtensionManager.getExtension().paint(g);
+        }
     }