-// 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();
- // }
+ }
+
+ /**
+ * Clears the flag that allows a 'fast paint' on the next repaint, so
+ * requiring a full repaint
+ */
+ public void setNoFastPaint()
+ {
+ fastPaint = false;