From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 17 Dec 2004 14:20:46 +0000 (+0000)
Subject: If screensize is small, setSize to be the screenSize
X-Git-Tag: Release_2_0~791
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e55334c07acc16076ff0cb5fe0bf6e7c332f6e56;p=jalview.git

If screensize is small, setSize to be the screenSize
---

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 4156fa2..7a75379 100755
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -48,10 +48,16 @@ public class Desktop extends jalview.jbgui.GDesktop
     desktop.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
 
     Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
-    setBounds( (int)(screenSize.getWidth()-1200)/2,
-               (int)(screenSize.getHeight()-800)/2,
-              1200 ,
-              800);
+    int width = 1200, height = 800;
+    if(screenSize.getWidth()<width)
+      width = screenSize.width;
+    if(screenSize.getHeight()<height)
+      height = screenSize.height;
+
+    setBounds( (int)(screenSize.width-width)/2,
+               (int)(screenSize.height-height)/2,
+              width ,
+              height);
 
 
    /////////Add a splashscreen on startup