public void repaintTripleBuffer(Rectangle clip){
  if (tripleBuffered && tripleBufferGraphics != null) {
    if (clip == null) {
      clip=new Rectangle(tripleBuffer.getWidth(),tripleBuffer.getHeight());
    }
    mxUtils.clearRect(tripleBufferGraphics,clip,null);
    tripleBufferGraphics.setClip(clip);
    paintGraph(tripleBufferGraphics);
    tripleBufferGraphics.setClip(null);
    repaintBuffer=false;
    repaintClip=null;
  }
}

public void repaintTripleBuffer ( Rectangle clip ) { if ( tripleBuffered && tripleBufferGraphics != null ) { if ( clip == null ) { clip = new Rectangle ( tripleBuffer . getWidth ( ) , tripleBuffer . getHeight ( ) ) ; } mxUtils . clearRect ( tripleBufferGraphics , clip , null ) ; tripleBufferGraphics . setClip ( clip ) ; paintGraph ( tripleBufferGraphics ) ; tripleBufferGraphics . setClip ( null ) ; repaintBuffer = false ; repaintClip = null ; } }
clears and repaints the triple buffer at the given rectangle or repaints the complete buffer if no rectangle is specified .
