Merge branch 'Jalview-BH/JAL-3026' into task/JAL-3033_jalviewjs_ant
authorJim Procter <jprocter@issues.jalview.org>
Tue, 26 Jun 2018 08:59:28 +0000 (09:59 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 26 Jun 2018 08:59:28 +0000 (09:59 +0100)
src/jalview/gui/Desktop.java

index b4b0cdb..bc5db70 100644 (file)
@@ -379,8 +379,9 @@ public class Desktop extends jalview.jbgui.GDesktop
     else
     {
       Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
-      setBounds((screenSize.width - 900) / 2, (screenSize.height - 650) / 2,
-              900, 650);
+      int xPos = Math.max(5, (screenSize.width - 900) / 2);
+      int yPos = Math.max(5, (screenSize.height - 650) / 2);
+      setBounds(xPos, yPos, 900, 650);
     }
     /**
      * BH 2018