From 4ad5ca792070ad8c7d95b355ae0ed462bda31e20 Mon Sep 17 00:00:00 2001
From: Kai Maetzel
Date: Wed, 5 Nov 2003 16:14:46 +0000
Subject: *** empty log message ***

---
 .../src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java    | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java
index 47be742ed2a..a760bb4ca67 100644
--- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java
+++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java
@@ -52,6 +52,7 @@ import org.eclipse.ui.IEditorInput;
 import org.eclipse.ui.IFileEditorInput;
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.part.FileEditorInput;
+import org.eclipse.ui.texteditor.AbstractMarkerAnnotationModel;
 import org.eclipse.ui.texteditor.IDocumentProvider;
 import org.eclipse.ui.texteditor.IDocumentProviderExtension;
 import org.eclipse.ui.texteditor.IDocumentProviderExtension2;
@@ -501,6 +502,10 @@ public class TextFileDocumentProvider  implements IDocumentProvider, IDocumentPr
 		FileInfo info= (FileInfo) fFileInfoMap.get(element);
 		if (info != null) {
 			info.fTextFileBuffer.commit(monitor, overwrite);
+			if (info.fModel instanceof AbstractMarkerAnnotationModel) {
+				AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel;
+				model.updateMarkers(info.fTextFileBuffer.getDocument());
+			}
 		} else if (element instanceof IFileEditorInput) {
 			try {
 				monitor.beginTask("Saving", 2000);
-- 
cgit v1.2.3