7475767778798081828384
return; DeletePathsOperation operation = new DeletePathsOperation(paths); try { operation.execute(null); } catch (CoreException e) { Activator.handleError(UIText.DeleteResourcesOperationUI_deleteFailed, e, true); } }
102103104105106107108109
Job.getJobManager().join(JobFamilies.INDEX_DIFF_CACHE_UPDATE, null); } private void deletePaths(Collection<IPath> paths) throws CoreException { DeletePathsOperation operation = new DeletePathsOperation(paths); operation.execute(null); } }