diff options
author | Kai Maetzel | 2003-11-05 16:14:46 +0000 |
---|---|---|
committer | Kai Maetzel | 2003-11-05 16:14:46 +0000 |
commit | 4ad5ca792070ad8c7d95b355ae0ed462bda31e20 (patch) | |
tree | b2dad672921def6153ecdf9220ce880bd9a0ef51 | |
parent | f1f54ff36a942c991ce3b2ce267cc19e1d0b67ab (diff) | |
download | eclipse.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.java | 5 |
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); |