From: Mungo Carstairs <gmungoc@gmail.com>
Date: Thu, 30 Apr 2015 20:12:42 +0000 (+0100)
Subject: JAL-845 reduced height to allow for Desktop decorators on Windows
X-Git-Tag: Jalview_2_9~39
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=24759045defbd5bb87bb699c6ba363f171464d7f;p=jalview.git

JAL-845 reduced height to allow for Desktop decorators on Windows
---

diff --git a/src/jalview/gui/SplitFrame.java b/src/jalview/gui/SplitFrame.java
index cab4d27..a665f5c 100644
--- a/src/jalview/gui/SplitFrame.java
+++ b/src/jalview/gui/SplitFrame.java
@@ -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();