JAL-3253-applet disabling button size setting by applet param. Whatever

[jalview.git] / src / jalview / gui / SplashScreen.java

diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java
index 98b24d1..f5648d2 100755 (executable)
--- a/src/jalview/gui/SplashScreen.java
+++ b/src/jalview/gui/SplashScreen.java
@@ -101,7 +101,7 @@ public class SplashScreen extends JPanel
        */
       {
         authlist = new JTextPane();
-        Thread t = new Thread(this);
+        Thread t = new Thread(this, "SplashScreen");
         t.start();
       }
     }
@@ -203,7 +203,8 @@ public class SplashScreen extends JPanel
   @SuppressWarnings("unused")
   protected boolean refreshText()
   {
-    String newtext = Desktop.getInstance().getAboutMessage(true).toString();
+    Desktop desktop = Desktop.getInstance();
+    String newtext = desktop.getAboutMessage(true).toString();
     // System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
     if (oldtext != newtext.length())
     {
@@ -236,8 +237,8 @@ public class SplashScreen extends JPanel
       authlist.setSize(new Dimension(750, 375));
       add(authlist, BorderLayout.CENTER);
       revalidate();
-      iframe.setBounds((Desktop.getInstance().getWidth() - 750) / 2,
-              (Desktop.getInstance().getHeight() - 375) / 2, 750,
+      iframe.setBounds((desktop.getWidth() - 750) / 2,
+              (desktop.getHeight() - 375) / 2, 750,
               authlist.getHeight() + iconimg.getHeight());
       iframe.validate();
       iframe.setVisible(true);