X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAnnotationPanel.java;h=7d1333bff4796e55ac3e36a8b2eaeb684f3d587f;hb=a45774ee31d9f35d4eff46d54d7deab719afb092;hp=b09e9efec9b199902979c8bbb1ee5c395dd75a93;hpb=dca8d7b5caa5c263b01d7750098da075c892c9f4;p=jalview.git diff --git a/src/jalview/appletgui/AnnotationPanel.java b/src/jalview/appletgui/AnnotationPanel.java index b09e9ef..7d1333b 100755 --- a/src/jalview/appletgui/AnnotationPanel.java +++ b/src/jalview/appletgui/AnnotationPanel.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -81,7 +81,7 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, av = ap.av; setLayout(null); int height = adjustPanelHeight(); - ap.apvscroll.setValues(0, getHeight(), 0, height); + ap.apvscroll.setValues(0, getSize().height, 0, height); addMouseMotionListener(this); @@ -355,7 +355,7 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, av.alignment.getAlignmentAnnotation()[graphStretch].graphHeight = 0; } graphStretchY = evt.getY(); - adjustPanelHeight(); + calcPanelHeight(); needValidating = true; ap.paintAlignment(true); } @@ -426,7 +426,21 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, public int adjustPanelHeight(boolean repaint) { - + int height = calcPanelHeight(); + this.setSize(new Dimension(getSize().width, height)); + if (repaint) + { + repaint(); + } + return height; + } + /** + * calculate the height for visible annotation, revalidating bounds where necessary + * ABSTRACT GUI METHOD + * @return total height of annotation + */ + public int calcPanelHeight() + { // setHeight of panels AlignmentAnnotation[] aa = av.alignment.getAlignmentAnnotation(); int height = 0; @@ -469,11 +483,6 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, { height = 20; } - this.setSize(new Dimension(getSize().width, height)); - if (repaint) - { - repaint(); - } return height; @@ -516,13 +525,16 @@ public class AnnotationPanel extends Panel implements AdjustmentListener, public void paint(Graphics g) { - - imgWidth = getSize().width; + Dimension d = getSize(); + imgWidth = d.width; // (av.endRes - av.startRes + 1) * av.charWidth; - - if (image == null || imgWidth != image.getWidth(this)) + if (imgWidth<1 || d.height<1) + { + return; + } + if (image == null || imgWidth != image.getWidth(this) || d.height != image.getHeight(this)) { - image = createImage(imgWidth, ap.annotationPanel.getSize().height); + image = createImage(imgWidth, d.height); gg = image.getGraphics(); gg.setFont(av.getFont()); fm = gg.getFontMetrics();