X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=b47ca4b043a8af06665a93a54e17a679a53a1b7a;hb=5f7d80cd8b01e051a6175b0ce8db0ad94d73df2f;hp=aafd8c0f676307bac0c3b4ed77f774c74a4d2245;hpb=b1bc2a997b0620a85818ed5f6813326c1faae9d3;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index aafd8c0..b47ca4b 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -12,6 +12,7 @@ package jalview.gui; import jalview.gui.*; import jalview.io.*; import jalview.datamodel.*; +import jalview.schemes.*; import javax.swing.*; import java.awt.*; import java.awt.event.*; @@ -25,11 +26,12 @@ public class Desktop extends jalview.jbgui.GDesktop 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,17 +46,48 @@ 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()