### Eclipse Workspace Patch 1.0
#P org.eclipse.ui.navigator.resources
Index: src/org/eclipse/ui/internal/navigator/resources/workbench/ResourceExtensionContentProvider.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/internal/navigator/resources/workbench/ResourceExtensionContentProvider.java,v
retrieving revision 1.4
diff -u -r1.4 ResourceExtensionContentProvider.java
--- src/org/eclipse/ui/internal/navigator/resources/workbench/ResourceExtensionContentProvider.java	8 May 2006 20:54:53 -0000	1.4
+++ src/org/eclipse/ui/internal/navigator/resources/workbench/ResourceExtensionContentProvider.java	9 Jan 2009 18:54:10 -0000
@@ -153,7 +153,7 @@
 
 		// Check the flags for changes the Navigator cares about.
 		// See ResourceLabelProvider for the aspects it cares about.
-		// Notice we don't care about F_CONTENT or F_MARKERS currently.
+		// Notice we don't care about F_MARKERS currently.
 		int changeFlags = delta.getFlags();
 		if ((changeFlags & (IResourceDelta.OPEN | IResourceDelta.SYNC
 				| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) {
@@ -169,6 +169,10 @@
 			 */
 			runnables.add(getRefreshRunnable(resource.getParent()));
 		}
+		else if((resource.getType() == IResource.FILE) && ((changeFlags & IResourceDelta.CONTENT) != 0)){
+			runnables.add(getRefreshRunnable(resource));
+		}	 
+		
 		// Replacing a resource may affect its label and its children
 		if ((changeFlags & IResourceDelta.REPLACED) != 0) {
 			runnables.add(getRefreshRunnable(resource));