- case ViewportRanges.STARTSEQ:
- // meaning STARTOREND
- // typically scroll, but possibly just the end changed
- fastPaint(0, (int) evt.getNewValue() - (int) evt.getOldValue());
- return;
- case ViewportRanges.ENDRES:
- case ViewportRanges.ENDSEQ:
- // meaning second event along with "START" -- ENDONLY,NOTSTART
- // TODO: ignore??
- return;
- case ViewportRanges.STARTRES:
- // meaning STARTOREND
- scrollX = (int) evt.getNewValue() - (int) evt.getOldValue();
- break;
- case ViewportRanges.STARTRESANDSEQ:
- scrollX = ((int[]) evt.getNewValue())[0]
- - ((int[]) evt.getOldValue())[0];
- scrollY = ((int[]) evt.getNewValue())[1]
- - ((int[]) evt.getOldValue())[1];
-
- // System.out.println("SC dx dy " + scrollX + " " + scrollY);
-
- if (scrollX != 0 && scrollY != 0)
- {
- // all sorts of problems in JavaScript if this is commented out.
- repaint();
- return;
-
- }
- break;