Exemplo n.º 1
0
 /* (non-Javadoc)
  * @see org.eclipse.core.resources.refresh.IRefreshResult#refresh(org.eclipse.core.resources.IResource)
  */
 public void refresh(IResource resource) {
   // do nothing if we have already shutdown
   if (refreshJob != null) refreshJob.refresh(resource);
 }