X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSplitFrame.java;fp=src%2Fjalview%2Fgui%2FSplitFrame.java;h=a665f5c7e8a6844755b5a71e85fe8db6da39b3d6;hb=24759045defbd5bb87bb699c6ba363f171464d7f;hp=cab4d271050b086306b1be067d3dcef37fccfee3;hpb=9e8c6798b524aa8743c271a3115f6cb307eb83ea;p=jalview.git 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();