ensure all annotation dependent rendering gets refreshed
authorjprocter <jprocter@compbio.dundee.ac.uk>
Sun, 1 Jul 2012 15:58:21 +0000 (16:58 +0100)
committerjprocter <jprocter@compbio.dundee.ac.uk>
Sun, 1 Jul 2012 15:58:21 +0000 (16:58 +0100)
src/jalview/appletgui/AnnotationPanel.java
src/jalview/gui/AnnotationPanel.java

index 7e6e3a1..492683d 100755 (executable)
@@ -255,6 +255,7 @@ public class AnnotationPanel extends Panel implements AwtRenderPanelI, Adjustmen
     aa[activeRow].validateRangeAndDisplay();
 
     adjustPanelHeight();
+    ap.alignmentChanged();
     repaint();
 
     return;
index 03fbf28..c8784a5 100755 (executable)
@@ -363,6 +363,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI,
     aa[activeRow].validateRangeAndDisplay();
 
     adjustPanelHeight();
+    ap.alignmentChanged();
     repaint();
 
     return;