Attachment 122145 Details for Bug 260574 – Patch for WorkbenchContentProvider.java.

[patch] Patch for WorkbenchContentProvider.java.

Defect_260574_patch_WorkbenchContentProvider.txt (text/plain), 1.32 KB, created by Paul Slauenwhite

on 2009-01-09 13:54:55 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Paul Slauenwhite

Created: 2009-01-09 13:54:55 EST

Size: 1.32 KB

patch

obsolete

>### 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));

Actions: View | Diff

Attachments on bug 260574: 122145 | 122146