Lines 21-26
Link Here
|
21 |
import org.eclipse.core.resources.IResourceChangeEvent; |
21 |
import org.eclipse.core.resources.IResourceChangeEvent; |
22 |
import org.eclipse.core.resources.IResourceDelta; |
22 |
import org.eclipse.core.resources.IResourceDelta; |
23 |
import org.eclipse.core.resources.IResourceDeltaVisitor; |
23 |
import org.eclipse.core.resources.IResourceDeltaVisitor; |
|
|
24 |
import org.eclipse.core.resources.IWorkspace; |
24 |
import org.eclipse.core.resources.IWorkspaceRoot; |
25 |
import org.eclipse.core.resources.IWorkspaceRoot; |
25 |
import org.eclipse.core.resources.IWorkspaceRunnable; |
26 |
import org.eclipse.core.resources.IWorkspaceRunnable; |
26 |
import org.eclipse.core.resources.ResourcesPlugin; |
27 |
import org.eclipse.core.resources.ResourcesPlugin; |
Lines 1897-1903
Link Here
|
1897 |
return; |
1898 |
return; |
1898 |
|
1899 |
|
1899 |
case IResourceChangeEvent.PRE_REFRESH: |
1900 |
case IResourceChangeEvent.PRE_REFRESH: |
1900 |
JavaModelManager.getExternalManager().refreshReferences((IProject) resource, null); |
1901 |
IProject [] projects = null; |
|
|
1902 |
Object o = event.getSource(); |
1903 |
if (o instanceof IProject) { |
1904 |
projects = new IProject[] { (IProject) o }; |
1905 |
} else if (o instanceof IWorkspace) { |
1906 |
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=261594. The single workspace refresh |
1907 |
// notification we see, implies that all projects are about to be refreshed. |
1908 |
projects = ((IWorkspace) o).getRoot().getProjects(IContainer.INCLUDE_HIDDEN); |
1909 |
} |
1910 |
for (int i = 0; projects != null && i < projects.length; i++) { |
1911 |
JavaModelManager.getExternalManager().refreshReferences(projects[i], null); |
1912 |
} |
1901 |
return; |
1913 |
return; |
1902 |
|
1914 |
|
1903 |
case IResourceChangeEvent.POST_CHANGE : |
1915 |
case IResourceChangeEvent.POST_CHANGE : |