From 79ec9639d12e785ebcb2299663da267d328f0f32 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 2 Dec 2004 11:28:02 +0000
Subject: [PATCH] splashscreen activated

---
 src/jalview/gui/Desktop.java |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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)
-- 
1.7.10.2