|
Lines 153-159
Link Here
|
| 153 |
|
153 |
|
| 154 |
// Check the flags for changes the Navigator cares about. |
154 |
// Check the flags for changes the Navigator cares about. |
| 155 |
// See ResourceLabelProvider for the aspects it cares about. |
155 |
// See ResourceLabelProvider for the aspects it cares about. |
| 156 |
// Notice we don't care about F_CONTENT or F_MARKERS currently. |
156 |
// Notice we don't care about F_MARKERS currently. |
| 157 |
int changeFlags = delta.getFlags(); |
157 |
int changeFlags = delta.getFlags(); |
| 158 |
if ((changeFlags & (IResourceDelta.OPEN | IResourceDelta.SYNC |
158 |
if ((changeFlags & (IResourceDelta.OPEN | IResourceDelta.SYNC |
| 159 |
| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) { |
159 |
| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) { |
|
Lines 169-174
Link Here
|
| 169 |
*/ |
169 |
*/ |
| 170 |
runnables.add(getRefreshRunnable(resource.getParent())); |
170 |
runnables.add(getRefreshRunnable(resource.getParent())); |
| 171 |
} |
171 |
} |
|
|
172 |
else if((resource.getType() == IResource.FILE) && ((changeFlags & IResourceDelta.CONTENT) != 0)){ |
| 173 |
runnables.add(getRefreshRunnable(resource)); |
| 174 |
} |
| 175 |
|
| 172 |
// Replacing a resource may affect its label and its children |
176 |
// Replacing a resource may affect its label and its children |
| 173 |
if ((changeFlags & IResourceDelta.REPLACED) != 0) { |
177 |
if ((changeFlags & IResourceDelta.REPLACED) != 0) { |
| 174 |
runnables.add(getRefreshRunnable(resource)); |
178 |
runnables.add(getRefreshRunnable(resource)); |
