ranges.setViewportWidth(widthInRes);
ranges.setViewportHeight(heightInSeq);
- ViewportRanges.sTest += "AP.resize chht=" + av.getCharHeight()
- + "canvHt=" + getSeqPanel().seqCanvas.getHeight() + " "
- + heightInSeq + "\n";
}
}
int y = vscroll.getValue();
int height = getSeqPanel().seqCanvas.getHeight() / av.getCharHeight();
-
// if we're scrolling to the position we're already at, stop
// this prevents infinite recursion of events when the scroll/viewport
// ranges values are the same
{
return;
}
-
- ViewportRanges.sTest += "AP.valChanged chht=" + av.getCharHeight()
- + "canvHt=" + getSeqPanel().seqCanvas.getHeight() + " "
- + height + "\n";
-
ranges.setViewportStartAndHeight(y, height);
}
repaint();