X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=2c618ba2cbc5f573c70430b4ec9de5a49847e141;hb=f9aad5b4cbba002593a7d7f5ba7079e8637ba006;hp=7c4dcf38b9cd81feb25509f484c1c888bd8589d2;hpb=c8ae8ef3f6365ea5664930f3139fa4871eb188c2;p=jalview.git diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java index 7c4dcf3..2c618ba 100644 --- a/src/jalview/jbgui/GSplitFrame.java +++ b/src/jalview/jbgui/GSplitFrame.java @@ -153,7 +153,8 @@ public class GSplitFrame extends JInternalFrame return false; } Point p = comp.getLocationOnScreen(); - Rectangle r = new Rectangle(p.x, p.y, comp.getWidth(), comp.getHeight()); + Rectangle r = new Rectangle(p.x, p.y, comp.getWidth(), + comp.getHeight()); return r.contains(loc); } @@ -173,8 +174,8 @@ public class GSplitFrame extends JInternalFrame else { this.dividerRatio = splitPane.getDividerLocation() - / (double) (splitPane.getHeight() - splitPane - .getDividerSize()); + / (double) (splitPane.getHeight() + - splitPane.getDividerSize()); } if (alignFrame == this.topFrame)