diff options
author | Dani Megert | 2012-12-21 08:11:21 +0000 |
---|---|---|
committer | Dani Megert | 2012-12-21 08:11:21 +0000 |
commit | 367366c9b1f364257f90fbb56cd52036ae9d5e0c (patch) | |
tree | 031d823a5ee3bcb9c118cc66cdf1cbdb0c841095 /org.eclipse.ui.editors | |
parent | a44603f07b6413c446b32e4ac1cbabfc6f10dfc4 (diff) | |
download | eclipse.platform.text-367366c9b1f364257f90fbb56cd52036ae9d5e0c.tar.gz eclipse.platform.text-367366c9b1f364257f90fbb56cd52036ae9d5e0c.tar.xz eclipse.platform.text-367366c9b1f364257f90fbb56cd52036ae9d5e0c.zip |
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java | 7 |
1 files changed, 4 insertions, 3 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 d5b0b3331ab..8d0509ee86b 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 @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2010 IBM Corporation and others. + * Copyright (c) 2000, 2012 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -859,14 +859,15 @@ public class TextFileDocumentProvider implements IDocumentProvider, IDocumentPro Assert.isNotNull(info); /* https://bugs.eclipse.org/bugs/show_bug.cgi?id=98327 - * Make sure file gets save in commit() if the underlying file has been deleted */ + * Make sure file gets saved in commit() if the underlying file has been deleted */ if (info.fElement instanceof IFileEditorInput) { IFileEditorInput input= (IFileEditorInput) info.fElement; IResource resource= input.getFile(); if (!resource.isSynchronized(IResource.DEPTH_ZERO) && isDeleted(input)) - info.fTextFileBuffer.setDirty(true); + info.fTextFileBuffer.setDirty(true); } + info.fTextFileBuffer.commit(monitor, overwrite); if (info.fModel instanceof AbstractMarkerAnnotationModel) { AbstractMarkerAnnotationModel model= (AbstractMarkerAnnotationModel) info.fModel; |