Bug 41564 [Edit] Compare editor diffs not refreshed on edit or save

1 files changed, 8 insertions, 0 deletions

diff --git a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/StorageTypedElement.java b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/StorageTypedElement.java
index 179035fea..270d8e596 100644
--- a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/StorageTypedElement.java
+++ b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/StorageTypedElement.java
@@ -16,9 +16,11 @@ import org.eclipse.compare.*;
 import org.eclipse.core.resources.IEncodedStorage;
 import org.eclipse.core.resources.IStorage;
 import org.eclipse.core.runtime.*;
+import org.eclipse.jface.text.IDocument;
 import org.eclipse.swt.graphics.Image;
 import org.eclipse.team.core.TeamException;
 import org.eclipse.ui.IEditorInput;
+import org.eclipse.ui.texteditor.IDocumentProvider;
 
 public abstract class StorageTypedElement implements ITypedElement, IEncodedStreamContentAccessor, IAdaptable {
 
@@ -117,6 +119,12 @@ public abstract class StorageTypedElement implements ITypedElement, IEncodedStre
 						public IEditorInput getDocumentKey(Object element) {
 							return StorageTypedElement.this.getDocumentKey(element);
 						}
+						public void flushDocument(IDocumentProvider provider,
+								IEditorInput documentKey, IDocument document,
+								boolean overwrite, IProgressMonitor monitor)
+								throws CoreException {
+							// The document is read-only
+						}
 					};
 				return sharedDocumentAdapter;
 			}