|
Lines 204-214
Link Here
|
| 204 |
} |
204 |
} |
| 205 |
// Check the flags for changes the Navigator cares about. |
205 |
// Check the flags for changes the Navigator cares about. |
| 206 |
// See ResourceLabelProvider for the aspects it cares about. |
206 |
// See ResourceLabelProvider for the aspects it cares about. |
| 207 |
// Notice we don't care about F_CONTENT or F_MARKERS currently. |
207 |
// Notice we don't care about F_MARKERS currently. |
| 208 |
if ((changeFlags & (IResourceDelta.SYNC |
208 |
if ((changeFlags & (IResourceDelta.SYNC |
| 209 |
| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) { |
209 |
| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) { |
| 210 |
runnables.add(getUpdateRunnable(resource)); |
210 |
runnables.add(getUpdateRunnable(resource)); |
| 211 |
} |
211 |
} |
|
|
212 |
else if((resource.getType() == IResource.FILE) && ((changeFlags & IResourceDelta.CONTENT) != 0)){ |
| 213 |
runnables.add(getRefreshRunnable(resource)); |
| 214 |
} |
| 215 |
|
| 212 |
// Replacing a resource may affect its label and its children |
216 |
// Replacing a resource may affect its label and its children |
| 213 |
if ((changeFlags & IResourceDelta.REPLACED) != 0) { |
217 |
if ((changeFlags & IResourceDelta.REPLACED) != 0) { |
| 214 |
runnables.add(getRefreshRunnable(resource)); |
218 |
runnables.add(getRefreshRunnable(resource)); |
