splashscreen activated

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