Exemple #1
0
 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();
 }
Exemple #2
0
 public void toggleSelection(AlignedPosition p) {
   selection.flip(p.getPos1());
   // System.out.println("AligPanel: toggle selection " + p.getPos1() + " " +
   // selection.get(p.getPos1()));
   updateJmolDisplay();
   this.repaint();
 }
Exemple #3
0
  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();
  }