|| evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ))
{
// scroll event, repaint panel
- av.getAlignPanel().alignFrame.repaint();
+
+ // Call repaint on alignment panel so that repaints from other alignment
+ // panel components can be aggregated. Otherwise performance of the overview
+ // window and others may be adversely affected.
+ av.getAlignPanel().repaint();
}
}