コード例 #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();
   }
 }
コード例 #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;
   }
 }
コード例 #3
0
 private void runRefreshJob(Collection<IPath> paths) {
   Job[] jobs = Job.getJobManager().find(ResourcesPlugin.FAMILY_MANUAL_REFRESH);
   RefreshJob refreshJob = null;
   if (jobs != null) {
     for (int index = 0; index < jobs.length; index++) {
       // We are only concerned about ExternalSourceArchiveManager.RefreshJob
       if (jobs[index] instanceof RefreshJob) {
         refreshJob = (RefreshJob) jobs[index];
         refreshJob.addSourceArchivesToRefresh(paths);
         if (refreshJob.getState() == Job.NONE) {
           refreshJob.schedule();
         }
         break;
       }
     }
   }
   if (refreshJob == null) {
     refreshJob = new RefreshJob(new Vector<>(paths));
     refreshJob.schedule();
   }
 }
コード例 #4
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);
 }