add splash to palette layer

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index d2c9b5c..4b0ffee 100755 (executable)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -90,30 +90,15 @@ setVisible(true);
 \r
 this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));\r
 \r
-\r
+/////////Add a splashscreen on startup\r
    /////////Add a splashscreen on startup\r
     JInternalFrame frame = new JInternalFrame();\r
 \r
     SplashScreen splash = new SplashScreen(frame, image);\r
     frame.setContentPane(splash);\r
-    desktop.add(frame);\r
-\r
-    openFrameCount++;\r
-    try\r
-    {\r
-      frame.setSelected(true);\r
-    }\r
-    catch (java.beans.PropertyVetoException e)\r
-    {}\r
-    frame.setResizable(true);\r
-    frame.setSize(750, 160);\r
+    frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
+    addInternalFrame(frame, "", 750,160, false);\r
     frame.setLocation( (int)((getWidth()-750) /2), (int)((getHeight()-160) /2));\r
-    frame.setClosable(false);\r
-    frame.setIconifiable(false);\r
-    frame.setMaximizable(false);\r
-    frame.setFrameIcon(null);\r
-    frame.setVisible(true);\r
-\r
   }\r
   public static void addInternalFrame(final JInternalFrame frame, String title, int w, int h)\r
   {\r