void flushEdt(){
  if (!isEdt()) {
    return;
  }
  while (!shouldEDTSleepNoFormAnimation()) {
    edtLoopImpl();
  }
  while (animationQueue != null && animationQueue.size() > 0) {
    edtLoopImpl();
  }
}

void flushEdt ( ) { if ( ! isEdt ( ) ) { return ; } while ( ! shouldEDTSleepNoFormAnimation ( ) ) { edtLoopImpl ( ) ; } while ( animationQueue != null && animationQueue . size ( ) > 0 ) { edtLoopImpl ( ) ; } }
allows us to " flush " the edt to allow any pending transitions and input to go by before continuing with our other tasks .
