private void mouseAction(MouseEvent evt)
{
od.updateViewportFromMouse(evt.getX(), evt.getY(), av.getAlignment()
- .getHiddenSequences(), av.getAlignment().getHiddenColumns(), av
- .getRanges());
+ .getHiddenSequences(), av.getAlignment().getHiddenColumns());
ap.setScrollValues(od.getScrollCol(), od.getScrollRow());
ap.paintAlignment(false);
}
}
setSize(new Dimension(od.getWidth(), od.getHeight()));
- if (updateRunning)
+ synchronized (this)
{
- oviewCanvas.restartDraw();
- return;
- }
+ if (updateRunning)
+ {
+ oviewCanvas.restartDraw();
+ return;
+ }
- updateRunning = true;
+ updateRunning = true;
+ }
Thread thread = new Thread(this);
thread.start();
repaint();
{
od.setBoxPosition(av.getAlignment()
.getHiddenSequences(), av
- .getAlignment().getHiddenColumns(), av.getRanges());
+ .getAlignment().getHiddenColumns());
repaint();
}
}