X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSplitFrame.java;h=a0d31cf56ed9b6943c28b452e368caaf24224447;hb=7e82e1fed011077e5cd4cc40ac8ad3519d7c47a8;hp=c23ed7cf92ca06ff09a5b70323ede68963304216;hpb=68f3676bed58ab5f4fdfbd71dcaf4e1ed61d380f;p=jalview.git diff --git a/src/jalview/gui/SplitFrame.java b/src/jalview/gui/SplitFrame.java index c23ed7c..a0d31cf 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); } /** @@ -539,7 +539,7 @@ public class SplitFrame extends GSplitFrame implements SplitContainerI topFrame.setDisplayedView(newTopPanel); } - newBottomPanel.av.viewName = newTopPanel.av.viewName; + newBottomPanel.av.setViewName(newTopPanel.av.getViewName()); newTopPanel.av.setCodingComplement(newBottomPanel.av); /*