-// BH 2019.07.27 was:
-// if (propertyName.equals(ViewportRanges.STARTSEQ)
-// || (av.getWrapAlignment()
-// && propertyName.equals(ViewportRanges.STARTRES)))
-// {
-// fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
-// }
-// else if (propertyName.equals(ViewportRanges.STARTRESANDSEQ))
-// {
-// fastPaint(((int[]) evt.getNewValue())[1]
-// - ((int[]) evt.getOldValue())[1]);
-// }
-// else if (propertyName.equals(ViewportRanges.MOVE_VIEWPORT))
-// {
-// repaint();
- // }