JAL-845 reduced height to allow for Desktop decorators on Windows
authorMungo Carstairs <gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000 (21:12 +0100)
committerMungo Carstairs <gmungoc@gmail.com>
Thu, 30 Apr 2015 20:12:42 +0000 (21:12 +0100)
src/jalview/gui/SplitFrame.java

index cab4d27..a665f5c 100644 (file)
@@ -65,8 +65,8 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI
     // about 50 pixels for the SplitFrame's title bar etc
     int height = ((AlignFrame) getTopFrame()).getHeight()
             + ((AlignFrame) getBottomFrame()).getHeight() + 50;
-    height = Math.min(height, Desktop.instance.getHeight() - 20);
-    // setSize(AlignFrame.DEFAULT_WIDTH, Desktop.instance.getHeight() - 20);
+    // about 65 pixels for Desktop decorators on Windows
+    height = Math.min(height, Desktop.instance.getHeight() - 65);
     setSize(width, height);
 
     adjustLayout();