private void resetDoubleBufferPerWindow(){
  if (bufferInfos != null) {
    dispose(bufferInfos);
    bufferInfos=null;
    repaintManager.setPaintManager(null);
  }
}

private void resetDoubleBufferPerWindow ( ) { if ( bufferInfos != null ) { dispose ( bufferInfos ) ; bufferInfos = null ; repaintManager . setPaintManager ( null ) ; } }
turns off double buffering per window .
