gg.dispose();
+
fastPaint = true;
// Call repaint on alignment panel so that repaints from other alignment
// Here we only want to fastpaint on a scroll, with resize using a normal
// paint, so scroll events are identified as changes to the horizontal or
// vertical start value.
- if (evt.getPropertyName().equals(ViewportRanges.STARTRES))
+ switch (evt.getPropertyName())
{
+ case ViewportRanges.STARTRES:
fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
- }
- else if (evt.getPropertyName().equals(ViewportRanges.STARTRESANDSEQ))
- {
+ break;
+ case ViewportRanges.STARTRESANDSEQ:
fastPaint(((int[]) evt.getNewValue())[0]
- ((int[]) evt.getOldValue())[0]);
- }
- else if (evt.getPropertyName().equals(ViewportRanges.MOVE_VIEWPORT))
- {
+ break;
+ case ViewportRanges.MOVE_VIEWPORT:
repaint();
+ break;
+ case ViewportRanges.STARTSEQ:
+ case ViewportRanges.ENDRES:
+ case ViewportRanges.ENDSEQ:
+ // ignore
+ break;
}
}