X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=463c6c3caf142d2902255d92528a6e67cec73510;hp=f321581fa6efdfda712fc598d12d22e41d4dfbb9;hb=8ac8932e2b255ffdd5513551eac426ead40137a7;hpb=a2ada916efe9af351bf49c2c583488892762e0ab diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index f321581..463c6c3 100644 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -564,11 +564,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener, int mheight = annotationHeight; Dimension d = sequenceHolderPanel.getSize(); - int availableHeight = d.height - scalePanelHolder.getSize().height; - if (hscroll.isVisible()) - { - availableHeight -= hscroll.getPreferredSize().height; - } + int availableHeight = d.height - scalePanelHolder.getHeight(); if (adjustPanelHeight) {