Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKai Maetzel2003-11-05 16:14:46 +0000
committerKai Maetzel2003-11-05 16:14:46 +0000
commit4ad5ca792070ad8c7d95b355ae0ed462bda31e20 (patch)
treeb2dad672921def6153ecdf9220ce880bd9a0ef51
parentf1f54ff36a942c991ce3b2ce267cc19e1d0b67ab (diff)
downloadeclipse.platform.text-RCP_WORK_2.tar.gz
eclipse.platform.text-RCP_WORK_2.tar.xz
eclipse.platform.text-RCP_WORK_2.zip
*** empty log message ***RCP_WORK_2
-rw-r--r--org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java5
1 files changed, 5 insertions, 0 deletions
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);

Back to the top