### Eclipse Workspace Patch 1.0
#P org.eclipse.ui.ide
Index: extensions/org/eclipse/ui/model/WorkbenchContentProvider.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.ui.ide/extensions/org/eclipse/ui/model/WorkbenchContentProvider.java,v
retrieving revision 1.16
diff -u -r1.16 WorkbenchContentProvider.java
--- extensions/org/eclipse/ui/model/WorkbenchContentProvider.java	28 May 2008 19:21:17 -0000	1.16
+++ extensions/org/eclipse/ui/model/WorkbenchContentProvider.java	9 Jan 2009 18:54:32 -0000
@@ -204,11 +204,15 @@
 		}
 		// 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.
 		if ((changeFlags & (IResourceDelta.SYNC
 				| IResourceDelta.TYPE | IResourceDelta.DESCRIPTION)) != 0) {
 			runnables.add(getUpdateRunnable(resource));
 		}
+		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));