From c7c14d9b64547a11721819d3e2839ef6a702c5db Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 3 Dec 2004 16:27:21 +0000 Subject: [PATCH] invalidate and validate after closing splashscreen --- src/jalview/gui/Desktop.java | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index cd01cf8..9588cf4 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -67,18 +67,8 @@ public class Desktop extends jalview.jbgui.GDesktop frame.setIconifiable(false); frame.setMaximizable(false); frame.setFrameIcon(null); - } - - public static void splashScreenClosing() - { splashScreenVisible = false; - JInternalFrame [] frames = desktop.getAllFrames(); - for(int i=0; i