drawComponent(gg, av.startRes, av.endRes + 1);
g.drawImage(image, 0, 0, this);
}
-
+ boolean fpainting=false;
/**
- * DOCUMENT ME!
+ * Thread safe repaint
*
- * @param horizontal DOCUMENT ME!
+ * @param horizontal repaint with horizontal shift in alignment
*/
public void fastPaint(int horizontal)
{
+
+ if (fpainting)
+ return;
+ fpainting=true;
+
if ( (horizontal == 0)
|| gg == null
|| av.alignment.getAlignmentAnnotation() == null
|| av.alignment.getAlignmentAnnotation().length < 1
|| av.updatingConsensus
- || av.updatingConservation)
+ || av.updatingConservation
+ ) // || fpainting)
{
repaint();
return;
}
-
gg.copyArea(0, 0, imgWidth, getHeight(), -horizontal * av.charWidth, 0);
int sr = av.startRes;
gg.translate( -transX, 0);
fastPaint = true;
-
repaint();
-
+ fpainting=false;
}
/**