From dba30c55e191417596da163caeef250c78de132d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 1 Dec 2004 17:09:14 +0000 Subject: [PATCH] showInternalInputDialog --- src/jalview/gui/Desktop.java | 48 +++++++++++++++++++++++++++++--------- src/jalview/gui/GroupEditor.java | 2 +- src/jalview/gui/IdPanel.java | 2 +- 3 files changed, 39 insertions(+), 13 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index aafd8c0..a1e88be 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -22,14 +22,16 @@ public class Desktop extends jalview.jbgui.GDesktop public static JDesktopPane desktop; static int openFrameCount = 0; static final int xOffset = 30, yOffset = 30; + static boolean splashScreenVisible = false; public Desktop() { + Image image =null; try{ java.net.URL url = getClass().getResource("/BartonGroupBanner.gif"); if(url!=null) { - Image image = java.awt.Toolkit.getDefaultToolkit().createImage(url); + image = java.awt.Toolkit.getDefaultToolkit().createImage(url); MediaTracker mt = new MediaTracker(this); mt.addImage(image, 0); mt.waitForID(0); @@ -44,16 +46,41 @@ public class Desktop extends jalview.jbgui.GDesktop desktop = new JDesktopPane(); setContentPane(desktop); desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); - int inset = 150; + Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); - setBounds(inset, inset, - screenSize.width - inset*2, - screenSize.height - inset*2); + setBounds( (int)(screenSize.getWidth()-1200)/2, + (int)(screenSize.getHeight()-800)/2, + 1200 , + 800); + + + /////////Add a splashscreen on startup + /* JInternalFrame frame = new JInternalFrame(); + + SplashScreen splash = new SplashScreen(frame, image); + frame.setContentPane(splash); + addInternalFrame(frame, "",820,200); + splashScreenVisible = true; + + frame.setLocation( (int)((getWidth()-820) /2), (int)((getHeight()-240) /2)); + frame.setClosable(false); + frame.setIconifiable(false); + frame.setMaximizable(false); + frame.setFrameIcon(null);*/ + } + + public static void splashScreenClosing() + { + splashScreenVisible = false; + JInternalFrame [] frames = desktop.getAllFrames(); + for(int i=0; i