diff options
author | Markus Keller | 2013-04-26 17:49:26 +0000 |
---|---|---|
committer | Markus Keller | 2013-04-26 17:49:26 +0000 |
commit | d591cfb9ef83ea800d07f896bb3657ed4a22bd1b (patch) | |
tree | 80db6f8c3f740bd39c5396c0a77ffdd47d3f3b45 | |
parent | 0ccdaa6315d0fbc1c1697d08118cc38aca949f64 (diff) | |
download | eclipse.platform.text-d591cfb9ef83ea800d07f896bb3657ed4a22bd1b.tar.gz eclipse.platform.text-d591cfb9ef83ea800d07f896bb3657ed4a22bd1b.tar.xz eclipse.platform.text-d591cfb9ef83ea800d07f896bb3657ed4a22bd1b.zip |
Bug 350840: NPE trying to save fileI20130512-2000I20130511-1500I20130510-2000I20130509-2000I20130508-2000I20130508-1200I20130507-2000I20130507-1100I20130507-0000I20130506-2000I20130505-2000I20130504-1500I20130503-2000I20130502-0800I20130501-2000I20130501-1400I20130501-1100I20130501-0800I20130430-2000I20130430-0800I20130430-0031I20130429-2000I20130429-0800I20130428-2000
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java index 2c271fc0a8a..077d0646b6c 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2012 IBM Corporation and others. + * Copyright (c) 2000, 2013 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 @@ -5097,7 +5097,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit if (p instanceof IDocumentProviderExtension3) { IDocumentProviderExtension3 p3= (IDocumentProviderExtension3) p; isSynchronized= p3.isSynchronized(getEditorInput()); - } else { + } else if (p != null) { long modifiedStamp= p.getModificationStamp(getEditorInput()); long synchStamp= p.getSynchronizationStamp(getEditorInput()); isSynchronized= (modifiedStamp == synchStamp); |