// 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.
+ // overview window and others may be adversely affected.
av.getAlignPanel().repaint();
} finally
{