X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FDesktop.java;h=97c6a2024e1a45800a4fb3e895e9566baf049ce2;hb=0039639a8b6fa7a9bfc131c83a493b5a696f0104;hp=cd01cf80992dba82770b88848738feee7c53f789;hpb=79ec9639d12e785ebcb2299663da267d328f0f32;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index cd01cf8..97c6a20 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -1,256 +1,541 @@ -/******************** - * 2004 Jalview Reengineered - * Barton Group - * Dundee University - * - * AM Waterhouse - *******************/ - - -package jalview.gui; - -import jalview.gui.*; -import jalview.io.*; -import jalview.datamodel.*; -import javax.swing.*; -import java.awt.*; -import java.awt.event.*; - - -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 = java.awt.Toolkit.getDefaultToolkit().createImage(url); - MediaTracker mt = new MediaTracker(this); - mt.addImage(image, 0); - mt.waitForID(0); - setIconImage(image); - } - - }catch(Exception ex){} - - setTitle("Jalview 2005"); - setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); - setVisible(true); - desktop = new JDesktopPane(); - setContentPane(desktop); - desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE); - - Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); - 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