|
Lines 11-16
Link Here
|
| 11 |
package org.eclipse.jst.jee.ui.internal.navigator; |
11 |
package org.eclipse.jst.jee.ui.internal.navigator; |
| 12 |
|
12 |
|
| 13 |
import java.util.HashMap; |
13 |
import java.util.HashMap; |
|
|
14 |
import java.util.List; |
| 14 |
import java.util.Map; |
15 |
import java.util.Map; |
| 15 |
|
16 |
|
| 16 |
import org.eclipse.core.resources.IProject; |
17 |
import org.eclipse.core.resources.IProject; |
|
Lines 23-28
Link Here
|
| 23 |
import org.eclipse.core.runtime.Status; |
24 |
import org.eclipse.core.runtime.Status; |
| 24 |
import org.eclipse.core.runtime.jobs.ISchedulingRule; |
25 |
import org.eclipse.core.runtime.jobs.ISchedulingRule; |
| 25 |
import org.eclipse.core.runtime.jobs.Job; |
26 |
import org.eclipse.core.runtime.jobs.Job; |
|
|
27 |
import org.eclipse.jdt.core.ICompilationUnit; |
| 26 |
import org.eclipse.jface.viewers.AbstractTreeViewer; |
28 |
import org.eclipse.jface.viewers.AbstractTreeViewer; |
| 27 |
import org.eclipse.jface.viewers.ISelection; |
29 |
import org.eclipse.jface.viewers.ISelection; |
| 28 |
import org.eclipse.jface.viewers.ITreeContentProvider; |
30 |
import org.eclipse.jface.viewers.ITreeContentProvider; |
|
Lines 112-119
Link Here
|
| 112 |
} |
114 |
} |
| 113 |
|
115 |
|
| 114 |
public void modelsChanged(IModelProviderEvent event) { |
116 |
public void modelsChanged(IModelProviderEvent event) { |
| 115 |
projectChanged(event.getProject()); |
117 |
List<Object> changedResources = event.getChangedResources(); |
| 116 |
|
118 |
if(event.getEventCode() == IModelProviderEvent.REMOVED_RESOURCE){ |
|
|
119 |
for(Object changedResource : changedResources){ |
| 120 |
if(changedResource instanceof ICompilationUnit){ |
| 121 |
ICompilationUnit compUnit = (ICompilationUnit) changedResource; |
| 122 |
if(true){ |
| 123 |
projectChanged(event.getProject()); |
| 124 |
} |
| 125 |
} |
| 126 |
} |
| 127 |
}else{ |
| 128 |
projectChanged(event.getProject()); |
| 129 |
} |
| 117 |
} |
130 |
} |
| 118 |
|
131 |
|
| 119 |
public void onRefresh(final Object element) { |
132 |
public void onRefresh(final Object element) { |
