From 06a78ad135ffd7a9d4bec8164153bedaff0f0ff3 Mon Sep 17 00:00:00 2001 From: jprocter Date: Thu, 3 Nov 2011 17:32:44 +0000 Subject: [PATCH] (JAL-812) javadoc and api method to relayout annotation panel after annotation is modified by a third party --- src/jalview/api/AlignmentViewPanel.java | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) 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(); } -- 1.7.10.2