From e55334c07acc16076ff0cb5fe0bf6e7c332f6e56 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 17 Dec 2004 14:20:46 +0000
Subject: [PATCH] If screensize is small, setSize to be the screenSize

---
 src/jalview/gui/Desktop.java |   14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

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
-- 
1.7.10.2