X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSplashScreen.java;fp=src%2Fjalview%2Fgui%2FSplashScreen.java;h=2b87e1063a63484fe224628f2005c800d03cb16a;hb=4f77328104498504339216829abf5ea87e2791ec;hp=f5648d28c630e32a7634b5273d0ebb8a53c19088;hpb=2b8c0785318a3528e1876e8e2dd48b7d831eae69;p=jalview.git diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java index f5648d2..2b87e10 100755 --- 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, "SplashScreen"); + Thread t = new Thread(this); t.start(); } } @@ -160,7 +160,7 @@ public class SplashScreen extends JPanel System.err.println("Error when loading images!"); } } while (!mt.checkAll()); - Desktop.getInstance().setIconImage(logo); + Desktop.instance.setIconImage(logo); } } catch (Exception ex) { @@ -191,7 +191,7 @@ public class SplashScreen extends JPanel } add(authlist, BorderLayout.CENTER); authlist.addMouseListener(closer); - Desktop.getDesktopPane().add(iframe); + Desktop.desktop.add(iframe); refreshText(); } @@ -203,8 +203,7 @@ public class SplashScreen extends JPanel @SuppressWarnings("unused") protected boolean refreshText() { - Desktop desktop = Desktop.getInstance(); - String newtext = desktop.getAboutMessage(true).toString(); + String newtext = Desktop.instance.getAboutMessage(true).toString(); // System.err.println("Text found: \n"+newtext+"\nEnd of newtext."); if (oldtext != newtext.length()) { @@ -237,8 +236,8 @@ public class SplashScreen extends JPanel authlist.setSize(new Dimension(750, 375)); add(authlist, BorderLayout.CENTER); revalidate(); - iframe.setBounds((desktop.getWidth() - 750) / 2, - (desktop.getHeight() - 375) / 2, 750, + iframe.setBounds((Desktop.instance.getWidth() - 750) / 2, + (Desktop.instance.getHeight() - 375) / 2, 750, authlist.getHeight() + iconimg.getHeight()); iframe.validate(); iframe.setVisible(true); @@ -288,7 +287,7 @@ public class SplashScreen extends JPanel } closeSplash(); - Desktop.getInstance().startDialogQueue(); + Desktop.instance.startDialogQueue(); } /**