From: jprocter Date: Thu, 3 Nov 2011 17:32:44 +0000 (+0000) Subject: (JAL-812) javadoc and api method to relayout annotation panel after annotation is... X-Git-Tag: Jalview_2_9~564^2~10 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=06a78ad135ffd7a9d4bec8164153bedaff0f0ff3;p=jalview.git (JAL-812) javadoc and api method to relayout annotation panel after annotation is modified by a third party --- 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(); }