From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Dec 2004 11:28:02 +0000 (+0000)
Subject: splashscreen activated
X-Git-Tag: Release_2_0~877
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=79ec9639d12e785ebcb2299663da267d328f0f32;p=jalview.git

splashscreen activated
---

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index a1e88be..cd01cf8 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -55,7 +55,7 @@ public class Desktop extends jalview.jbgui.GDesktop
 
 
    /////////Add a splashscreen on startup
-  /*  JInternalFrame frame = new JInternalFrame();
+    JInternalFrame frame = new JInternalFrame();
 
     SplashScreen splash = new SplashScreen(frame, image);
     frame.setContentPane(splash);
@@ -66,7 +66,7 @@ public class Desktop extends jalview.jbgui.GDesktop
     frame.setClosable(false);
     frame.setIconifiable(false);
     frame.setMaximizable(false);
-    frame.setFrameIcon(null);*/
+    frame.setFrameIcon(null);
   }
 
   public static void splashScreenClosing()
@@ -74,7 +74,11 @@ public class Desktop extends jalview.jbgui.GDesktop
     splashScreenVisible = false;
     JInternalFrame [] frames  = desktop.getAllFrames();
     for(int i=0; i<frames.length; i++)
+    {
+      frames[i].invalidate();
       frames[i].setVisible(true);
+      frames[i].validate();
+    }
   }
 
   public static void addInternalFrame(final JInternalFrame frame, String title, int w, int h)