From e60c6bceaebb4e8540a5d2b22ebc8bde0ace2999 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 9 Aug 2005 16:52:09 +0000 Subject: [PATCH] Splash screen is repainted when checking latest version --- src/jalview/gui/SplashScreen.java | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java index 9f089a3..1bf51ed 100755 --- a/src/jalview/gui/SplashScreen.java +++ b/src/jalview/gui/SplashScreen.java @@ -83,6 +83,7 @@ public class SplashScreen extends JPanel implements Runnable try { Thread.sleep(1000); + repaint(); } catch (Exception ex) { @@ -128,17 +129,27 @@ public class SplashScreen extends JPanel implements Runnable g.drawString("JalView 2005 ", 50, y); g.setFont(new Font("Verdana", Font.BOLD, fontSize + 2)); g.drawString("Version " + jalview.bin.Cache.getProperty("VERSION") + - "; Last updated: " + jalview.bin.Cache.getProperty("BUILD_DATE"), + "; Last updated: " + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown"), 180, y); - if (!jalview.bin.Cache.getProperty("LATEST_VERSION").equals( + if (jalview.bin.Cache.getDefault("LATEST_VERSION", "Checking").equals("Checking")) + { + // If the jnlp version and the code version differ, warn the user + g.setColor(Color.red); + + g.drawString("...Checking latest version...", + 50, y += fontSize + 10); + y += 5; + g.setColor(Color.black); + } + else if (!jalview.bin.Cache.getDefault("LATEST_VERSION", "Checking").equals( jalview.bin.Cache.getProperty("VERSION"))) { // If the jnlp version and the code version differ, warn the user g.setColor(Color.red); g.drawString("!! Jalview version " + - jalview.bin.Cache.getProperty("LATEST_VERSION") + jalview.bin.Cache.getDefault("LATEST_VERSION", "..Checking..") + " is available for download from http://www.jalview.org !!", 50, y += fontSize + 10); y += 5; -- 1.7.10.2