X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=25bfa52d648b401d56ef22d163dac3e39b952e58;hb=9ee6d0820f9b6b253900b00da9b1531f9b40e057;hp=f92f01c0bb16ee3c81a6194c9764df0e1feebeb0;hpb=1ecf6419aba86993b3c223bf5ec0fa79427baf85;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index f92f01c..25bfa52 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"); + java.net.URL url = getClass().getResource("/images/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()