int verticalOffset, boolean redrawOverview, boolean centre)
{
// do we need to scroll the panel?
- if (results != null && results.getSize() > 0)
+ if (results != null && results.getCount() > 0)
{
AlignmentI alignment = av.getAlignment();
int seqIndex = alignment.findIndex(results);
@Override
public void adjustmentValueChanged(AdjustmentEvent evt)
{
- seqPanel.seqCanvas.clearFastPaint();
// Note that this event is NOT fired by the AWT scrollbar when setValues is
// called. Instead manually call adjustHorizontal and adjustVertical
// directly.