public void rangeSelected(AlignedPosition start, AlignedPosition end) {
// System.out.println("AligPanel: range selected " + start.getPos1() + " - " + end.getPos1() + "
// selectionLockedL " + selectionLocked);
if (!selectionLocked) selection.clear();
selection.set(start.getPos1(), end.getPos1() + 1);
updateJmolDisplay();
this.repaint();
}
public void toggleSelection(AlignedPosition p) {
selection.flip(p.getPos1());
// System.out.println("AligPanel: toggle selection " + p.getPos1() + " " +
// selection.get(p.getPos1()));
updateJmolDisplay();
this.repaint();
}
public void mouseOverPosition(AlignedPosition p) {
// System.out.println("AligPanel: mouse over position " + p.getPos1() );
if (!selectionLocked) selection.clear();
selection.set(p.getPos1());
updateJmolDisplay();
this.repaint();
}