X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=0e9a0d8ff14cdda2fafbe0cdeb899a020e849e9a;hb=59183747dbffe3ab6b141c5440d2f70799ae360b;hp=d7411faae86f08819eb263ed0bd69c94ce3cccb9;hpb=b785060f71751dd08fced2b4c84c9efcab62ac0e;p=jalview.git diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index d7411fa..0e9a0d8 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -113,10 +113,11 @@ public class AlignmentPanel extends Panel implements AdjustmentListener scalePanel.setSize(new Dimension(10, av.charHeight + fm.getDescent())); idwidthAdjuster.setSize(new Dimension(10, av.charHeight + fm.getDescent())); - annotationPanel.adjustPanelHeight(); + int ap = annotationPanel.adjustPanelHeight(); annotationPanel.repaint(); Dimension d = calculateIdWidth(); d.setSize(d.width + 4, seqPanel.seqCanvas.getSize().height); + alabels.setSize(d.width+4, ap ); idPanel.idCanvas.setSize(d); hscrollFillerPanel.setSize(d);