X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FSplitFrame.java;h=5bff407860c8fc9bb1738639503bb6e9c5da4d30;hb=90ae01c1c1504e0ae42817f78116f1d35b317c47;hp=c23ed7cf92ca06ff09a5b70323ede68963304216;hpb=68f3676bed58ab5f4fdfbd71dcaf4e1ed61d380f;p=jalview.git diff --git a/src/jalview/gui/SplitFrame.java b/src/jalview/gui/SplitFrame.java index c23ed7c..5bff407 100644 --- a/src/jalview/gui/SplitFrame.java +++ b/src/jalview/gui/SplitFrame.java @@ -194,12 +194,16 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI } /** - * Adjust the divider for a sensible split of the real estate (for example, + * Adjusts the divider for a sensible split of the real estate (for example, * when many transcripts are shown with a single protein). This should only be * called after the split pane has been laid out (made visible) so it has a - * height. + * height. The aim is to avoid unnecessary vertical scroll bars, while + * ensuring that at least 2 sequences are visible in each panel. + *
+ * Once laid out, the user may choose to customise as they wish, so this + * method is not called again after the initial layout. */ - protected void adjustDivider() + protected void adjustInitialLayout() { AlignFrame topFrame = (AlignFrame) getTopFrame(); AlignFrame bottomFrame = (AlignFrame) getBottomFrame(); @@ -224,30 +228,26 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI int bottomCharHeight = bottomViewport.getViewStyle().getCharHeight(); /* - * calculate the minimum ratio that leaves at least - * two sequences visible in the top panel + * calculate the minimum ratio that leaves at least the height + * of two sequences (after rounding) visible in the top panel */ int topPanelHeight = topFrame.getHeight(); int bottomPanelHeight = bottomFrame.getHeight(); int topSequencesHeight = topFrame.alignPanel.getSeqPanel().seqCanvas .getHeight(); int topPanelMinHeight = topPanelHeight - - Math.max(0, - topSequencesHeight - 2 * topViewport.getCharHeight()); + - Math.max(0, topSequencesHeight - 3 * topCharHeight); double totalHeight = (double) topPanelHeight + bottomPanelHeight; double minRatio = topPanelMinHeight / totalHeight; /* - * calculate the maximum ratio that leaves at least - * two sequences visible in the bottom panel + * calculate the maximum ratio that leaves at least the height + * of two sequences (after rounding) visible in the bottom panel */ int bottomSequencesHeight = bottomFrame.alignPanel.getSeqPanel().seqCanvas .getHeight(); int bottomPanelMinHeight = bottomPanelHeight - - Math.max( - 0, - bottomSequencesHeight - 2 - * bottomViewport.getCharHeight()); + - Math.max(0, bottomSequencesHeight - 3 * bottomCharHeight); double maxRatio = (totalHeight - bottomPanelMinHeight) / totalHeight; /* @@ -268,7 +268,7 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI */ ratio = Math.min(ratio, maxRatio); ratio = Math.max(ratio, minRatio); - // setRelativeDividerLocation(ratio); + setRelativeDividerLocation(ratio); } /**