From 24759045defbd5bb87bb699c6ba363f171464d7f Mon Sep 17 00:00:00 2001 From: Mungo Carstairs Date: Thu, 30 Apr 2015 21:12:42 +0100 Subject: [PATCH] JAL-845 reduced height to allow for Desktop decorators on Windows --- src/jalview/gui/SplitFrame.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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(); -- 1.7.10.2