X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fapi%2FAlignmentViewPanel.java;h=70bb3d65749d7a91ad59631475bd1521851d57ad;hb=d64f1df4fdb6c90c7ed36624174eac8b1dd52511;hp=d971acb25366478e08bf5586b744c40db5c61c61;hpb=c564d188c1a8106d866651eba5c4cf60fbc0c232;p=jalview.git diff --git a/src/jalview/api/AlignmentViewPanel.java b/src/jalview/api/AlignmentViewPanel.java index d971acb..70bb3d6 100644 --- a/src/jalview/api/AlignmentViewPanel.java +++ b/src/jalview/api/AlignmentViewPanel.java @@ -31,5 +31,15 @@ public interface AlignmentViewPanel extends OOMHandlerI AlignmentI getAlignment(); StructureSelectionManager getStructureSelectionManager(); - void paintAlignment(boolean b); + /** + * repaint the alignment view after a datamodel update. + * @param updateOverview - if true, the overview panel will also be updated and repainted + */ + + void paintAlignment(boolean updateOverview); + /** + * automatically adjust annotation panel height for new annotation + * whilst ensuring the alignment is still visible. + */ + void adjustAnnotationHeight(); }