X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSplashScreen.java;h=16ec9d91193fa0bcc6bc0447c4d3298297115acc;hb=ad15cff29620f960119f80176f1fd443da9f6763;hp=297a5e0b2b83d65af22ba0e4465c0655bcd80ced;hpb=dddfc81e22789620ebad168ae6a9dc3b0f6c67f2;p=jalview.git

diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java
index 297a5e0..16ec9d9 100755
--- a/src/jalview/gui/SplashScreen.java
+++ b/src/jalview/gui/SplashScreen.java
@@ -1,26 +1,39 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
-  * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
  * Jalview is free software: you can redistribute it and/or
  * modify it under the terms of the GNU General Public License 
- * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
- * 
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *  
  * Jalview is distributed in the hope that it will be useful, but 
  * WITHOUT ANY WARRANTY; without even the implied warranty 
  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
  * PURPOSE.  See the GNU General Public License for more details.
  * 
- * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
  */
 package jalview.gui;
 
-import java.awt.*;
-import java.awt.event.*;
+import java.awt.BorderLayout;
+import java.awt.Color;
+import java.awt.Dimension;
+import java.awt.Font;
+import java.awt.Graphics;
+import java.awt.Image;
+import java.awt.MediaTracker;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
 
-import javax.swing.*;
+import javax.swing.JInternalFrame;
+import javax.swing.JLayeredPane;
+import javax.swing.JPanel;
+import javax.swing.JTextPane;
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
 
@@ -30,7 +43,8 @@ import javax.swing.event.HyperlinkListener;
  * @author $author$
  * @version $Revision$
  */
-public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
+public class SplashScreen extends JPanel implements Runnable,
+        HyperlinkListener
 {
   boolean visible = true;
 
@@ -53,20 +67,23 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
   {
     this(false);
   }
-  private boolean interactiveDialog=false;
+
+  private boolean interactiveDialog = false;
+
   /**
    * 
-   * @param interactive if true - an internal dialog is opened rather than a free-floating splash screen
+   * @param interactive
+   *          if true - an internal dialog is opened rather than a free-floating
+   *          splash screen
    */
   public SplashScreen(boolean interactive)
   {
-    this.interactiveDialog=interactive;
+    this.interactiveDialog = interactive;
     // show a splashscreen that will disapper
     Thread t = new Thread(this);
     t.start();
   }
 
-
   MouseAdapter closer = new MouseAdapter()
   {
     public void mousePressed(MouseEvent evt)
@@ -93,16 +110,33 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
     addMouseListener(closer);
     try
     {
-      java.net.URL url = getClass().getResource("/images/Jalviewlogo.png");
+      java.net.URL url = getClass().getResource("/images/Jalview_Logo.png");
+      java.net.URL urllogo = getClass().getResource(
+              "/images/Jalview_Logo_small.png");
 
       if (url != null)
       {
         image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
-
+        Image logo = java.awt.Toolkit.getDefaultToolkit().createImage(
+                urllogo);
         MediaTracker mt = new MediaTracker(this);
         mt.addImage(image, 0);
-        mt.waitForID(0);
-        Desktop.instance.setIconImage(image);
+        mt.addImage(logo, 1);
+        do
+        {
+          try
+          {
+            mt.waitForAll();
+          } catch (InterruptedException x)
+          {
+          }
+          ;
+          if (mt.isErrorAny())
+          {
+            System.err.println("Error when loading images!");
+          }
+        } while (!mt.checkAll());
+        Desktop.instance.setIconImage(logo);
       }
     } catch (Exception ex)
     {
@@ -115,13 +149,13 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
     iframe.setContentPane(this);
     iframe.setLayer(JLayeredPane.PALETTE_LAYER);
 
-    Desktop.desktop.add(iframe);
     SplashImage splashimg = new SplashImage(image);
     iconimg.add(splashimg, BorderLayout.CENTER);
     add(iconimg, BorderLayout.NORTH);
     add(authlist, BorderLayout.CENTER);
     authlist.setEditable(false);
     authlist.addMouseListener(closer);
+    Desktop.desktop.add(iframe);
     refreshText();
   }
 
@@ -133,23 +167,24 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
   protected boolean refreshText()
   {
     String newtext = Desktop.instance.getAboutMessage(true).toString();
-    //System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
+    // System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
     if (oldtext != newtext.length())
     {
       iframe.setVisible(false);
       oldtext = newtext.length();
-      authlist=new JTextPane();
+      authlist = new JTextPane();
       authlist.setEditable(false);
       authlist.addMouseListener(closer);
       authlist.addHyperlinkListener(this);
       authlist.setContentType("text/html");
       authlist.setText(newtext);
       authlist.setVisible(true);
+      authlist.setSize(new Dimension(750, 375));
       add(authlist, BorderLayout.CENTER);
-      iframe.setBounds((int) ((Desktop.instance.getWidth() - 750) / 2),
-              (int) ((Desktop.instance.getHeight() - 160) / 2), 750,
-              iframe.getPreferredSize().height);
-      //System.err.println("New preferred size: "+iframe.getPreferredSize().height);
+      revalidate();
+      iframe.setBounds((Desktop.instance.getWidth() - 750) / 2,
+              (Desktop.instance.getHeight() - 375) / 2, 750,
+              authlist.getHeight() + iconimg.getHeight());
       iframe.validate();
       iframe.setVisible(true);
 
@@ -176,19 +211,20 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
       } catch (Exception ex)
       {
       }
-      
-      if (!interactiveDialog && ((System.currentTimeMillis() / 1000) - startTime) > 5)
+
+      if (!interactiveDialog
+              && ((System.currentTimeMillis() / 1000) - startTime) > 5)
       {
         visible = false;
       }
 
       if (visible && refreshText())
       {
-//          if (interactiveDialog) {
-            iframe.repaint();
-//          } else {
-//            iframe.repaint();
-//          };
+        // if (interactiveDialog) {
+        iframe.repaint();
+        // } else {
+        // iframe.repaint();
+        // };
       }
       if (interactiveDialog)
       {
@@ -197,6 +233,7 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
     }
 
     closeSplash();
+    Desktop.instance.startDialogQueue();
   }
 
   /**
@@ -224,6 +261,12 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
               image.getHeight(this)));
     }
 
+    @Override
+    public Dimension getPreferredSize()
+    {
+      return new Dimension(image.getWidth(this) + 8, image.getHeight(this));
+    }
+
     public void paintComponent(Graphics g)
     {
       g.setColor(Color.white);
@@ -233,8 +276,8 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
 
       if (image != null)
       {
-        g.drawImage(image, (getWidth() - image.getWidth(this)) / 2, (getHeight() - image.getHeight(this)) / 2,
-                this);
+        g.drawImage(image, (getWidth() - image.getWidth(this)) / 2,
+                (getHeight() - image.getHeight(this)) / 2, this);
       }
     }
     /*
@@ -278,10 +321,11 @@ public class SplashScreen extends JPanel implements Runnable, HyperlinkListener
      * += fontSize + 4); }
      */
   }
+
   @Override
   public void hyperlinkUpdate(HyperlinkEvent e)
   {
     Desktop.hyperlinkUpdate(e);
-    
+
   }
-}
\ No newline at end of file
+}