static RepaintManager currentManager(AppContext appContext){
  RepaintManager rm=(RepaintManager)appContext.get(repaintManagerKey);
  if (rm == null) {
    rm=new RepaintManager(BUFFER_STRATEGY_TYPE);
    appContext.put(repaintManagerKey,rm);
  }
  return rm;
}

static RepaintManager currentManager ( AppContext appContext ) { RepaintManager rm = ( RepaintManager ) appContext . get ( repaintManagerKey ) ; if ( rm == null ) { rm = new RepaintManager ( BUFFER_STRATEGY_TYPE ) ; appContext . put ( repaintManagerKey , rm ) ; } return rm ; }
returns the repaintmanager for the specified appcontext . if a repaintmanager has not been created for the specified appcontext this will return null .
