Use paintAlignment

[jalview.git] / src / jalview / gui / AnnotationLabels.java

diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java
index 3f8478a..81a3cd2 100755 (executable)
--- a/src/jalview/gui/AnnotationLabels.java
+++ b/src/jalview/gui/AnnotationLabels.java
@@ -221,7 +221,7 @@ public class AnnotationLabels
 
     ap.annotationPanel.adjustPanelHeight();
     ap.annotationScroller.validate();
-    ap.repaint();
+    ap.paintAlignment(true);
   }
 
   /**
@@ -345,7 +345,7 @@ public class AnnotationLabels
         d = ap.annotationSpaceFillerHolder.getPreferredSize();
         ap.annotationSpaceFillerHolder.setPreferredSize(new Dimension(
             d.width, d.height - dif));
-        ap.repaint();
+        ap.paintAlignment(true);
       }
 
       ap.addNotify();