* @param vertical
* DOCUMENT ME!
*/
- public void fastPaint(int vertical, boolean isresize)
+ public void fastPaint(int vertical)
{
if (gg == null)
{
int es = ranges.getEndSeq();
int transY = 0;
- if (isresize)
+ if (vertical > 0) // scroll down
{
- if (vertical != 0)
+ ss = es - vertical;
+
+ if (ss < ranges.getStartSeq())
+ { // ie scrolling too fast, more than a page at a time
+ ss = ranges.getStartSeq();
+ }
+ else
{
transY = imgHeight - ((vertical + 1) * av.getCharHeight());
- ss = es - vertical - ss;
}
}
- else
+ else if (vertical < 0) // scroll up
{
- if (vertical > 0) // scroll down
- {
- ss = es - vertical;
+ es = ss - vertical;
- if (ss < ranges.getStartSeq())
- { // ie scrolling too fast, more than a page at a time
- ss = ranges.getStartSeq();
- }
- else
- {
- transY = imgHeight - ((vertical + 1) * av.getCharHeight());
- }
- }
- else if (vertical < 0) // scroll up
+ if (es > ranges.getEndSeq())
{
- es = ss - vertical;
-
- if (es > ranges.getEndSeq())
- {
- es = ranges.getEndSeq();
- }
+ es = ranges.getEndSeq();
}
}
// Respond to viewport range changes (e.g. alignment panel was scrolled)
if (evt.getPropertyName().equals("startseq"))
{
- fastPaint((int) evt.getNewValue() - (int) evt.getOldValue(), false);
+ fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
}
else if (evt.getPropertyName().equals("endseq"))
{
- fastPaint((int) evt.getNewValue() - (int) evt.getOldValue(), true);
+ // resize - do nothing
}
}
}