X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=feb1e00e5ec2dfeb8a0620fad29c5ed14a020857;hb=c865a01627208f07db46ae7d28c06f39d83924ee;hp=a9ff5572475ef7f0b47efd0d89f476e3821d7d5e;hpb=c2360e4d9ef41d70224aaed912a31f9606deb411;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index a9ff557..feb1e00 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); + int width = 1200, height = 800; + if(screenSize.getWidth()