diff options
author | Dani Megert | 2012-04-03 13:03:37 +0000 |
---|---|---|
committer | Dani Megert | 2012-04-03 13:03:37 +0000 |
commit | e414aee94b0ec1e061c130b1408256ba52c875df (patch) | |
tree | eeebc8cd0879d68ebc4cf3619cad5945dd4c8dcc | |
parent | 5719618e550ebc69298a1fbbf203d534a846a193 (diff) | |
download | eclipse.platform.text-e414aee94b0ec1e061c130b1408256ba52c875df.tar.gz eclipse.platform.text-e414aee94b0ec1e061c130b1408256ba52c875df.tar.xz eclipse.platform.text-e414aee94b0ec1e061c130b1408256ba52c875df.zip |
Fixed bug 353025: [implementation] NPE during Save when "Refresh onv20120403-1303
Access" enabled
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java index 9423b1f047a..e008a5a1823 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2011 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 @@ -1495,7 +1495,7 @@ public abstract class AbstractDecoratedTextEditor extends StatusTextEditor { final IDocumentProvider provider= getDocumentProvider(); IEditorInput input= getEditorInput(); if (provider != null && input != null) { - if (!provider.isDeleted(input) && !isDirty() && input.getAdapter(IFile.class) != null) { + if (!isDirty() && input.getAdapter(IFile.class) != null) { IEclipsePreferences pref= InstanceScope.INSTANCE.getNode(ResourcesPlugin.PI_RESOURCES); if (pref != null && pref.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH, false)) return; |