alignPanel.paintAlignment(true);
}
}
-
+ public void clearAlignmentSeqRep()
+ {
+ if (viewport.getAlignment().hasSeqrep()) {
+ viewport.getAlignment().setSeqrep(null);
+ PaintRefresher.Refresh(this, viewport.getSequenceSetId());
+ alignPanel.updateAnnotation();
+ alignPanel.paintAlignment(true);
+ }
+ }
/**
* make the given alignmentPanel the currently selected tab
*