package dr.app.beauti.alignmentviewer;
import javax.swing.*;
import java.awt.*;
/**
* @author Andrew Rambaut
* @version $Id: TaxonPane.java,v 1.1 2005/11/01 23:52:04 rambaut Exp $
*/
public class TaxonPane extends JPanel {
private JList taxonList;
private DefaultListModel taxonListModel;
public TaxonPane() {
setLayout(new BorderLayout());
taxonListModel = new DefaultListModel();
taxonList = new JList(taxonListModel);
taxonList.setFont(new Font("sansserif", Font.PLAIN, 10));
add(taxonList, BorderLayout.CENTER);
}
public void setAlignmentBuffer(AlignmentBuffer alignment) {
taxonListModel.removeAllElements();
if (alignment != null) {
for (int i = 0; i < alignment.getSequenceCount(); i++) {
taxonListModel.addElement(alignment.getTaxonLabel(i));
}
}
}
public void setRowHeight(int rowHeight) {
taxonList.setFixedCellHeight(rowHeight);
}
}