int verticalOffset, boolean redrawOverview, boolean centre)
{
// do we need to scroll the panel?
int verticalOffset, boolean redrawOverview, boolean centre)
{
// do we need to scroll the panel?
"DEBUG: scroll didn't happen - results not within alignment : "
+ seq.getStart() + "," + seq.getEnd());
}
"DEBUG: scroll didn't happen - results not within alignment : "
+ seq.getStart() + "," + seq.getEnd());
}
* " av.getStartRes()=" + av.getStartRes() + " end=" + r[1] +
* " seq.end=" + seq.getEnd() + " av.getEndRes()=" + av.getEndRes() +
* " hextent=" + hextent);
* " av.getStartRes()=" + av.getStartRes() + " end=" + r[1] +
* " seq.end=" + seq.getEnd() + " av.getEndRes()=" + av.getEndRes() +
* " hextent=" + hextent);
// Note that this event is NOT fired by the AWT scrollbar when setValues is
// called. Instead manually call adjustHorizontal and adjustVertical
// directly.
// Note that this event is NOT fired by the AWT scrollbar when setValues is
// called. Instead manually call adjustHorizontal and adjustVertical
// directly.