JAL-1143 - ensure we revalidate annotation panel height in all views after pasting...

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index cbf7a5a..e71e649 100755 (executable)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -1930,6 +1930,10 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
         }
         viewport.firePropertyChange("alignment", null,
                 alignment.getSequences());
+        if (alignPanels!=null ) {for (AlignmentPanel ap:((Vector<AlignmentPanel>)alignPanels))
+        {
+          ap.validateAnnotationDimensions(false);
+        }} else { alignPanel.validateAnnotationDimensions(false);}
 
       }
       else