Ejemplo n.º 1
0
 /*
  * Starts or stops auto-refresh depending on the auto-refresh preference.
  */
 protected void manageAutoRefresh(boolean enabled) {
   // do nothing if we have already shutdown
   if (refreshJob == null) return;
   if (enabled) {
     refreshJob.start();
     monitors.start();
   } else {
     refreshJob.stop();
     monitors.stop();
   }
 }
Ejemplo n.º 2
0
 /** Shuts down the refresh manager. This only happens when the resources plugin is going away. */
 public void shutdown(IProgressMonitor monitor) {
   ResourcesPlugin.getPlugin().getPluginPreferences().removePropertyChangeListener(this);
   if (monitors != null) {
     monitors.stop();
     monitors = null;
   }
   if (refreshJob != null) {
     refreshJob.stop();
     refreshJob = null;
   }
 }
Ejemplo n.º 3
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);
 }