diff options
author | Dani Megert | 2012-05-14 09:47:16 +0000 |
---|---|---|
committer | Dani Megert | 2012-05-14 09:47:16 +0000 |
commit | 451508235b7d94e33e8f07a93e9dae117e3d3489 (patch) | |
tree | bf9e0ab63e3de600e5873624209bfac7062859d8 | |
parent | 4d478fe89dad590e34017386b29694213800ec1f (diff) | |
download | eclipse.platform.text-451508235b7d94e33e8f07a93e9dae117e3d3489.tar.gz eclipse.platform.text-451508235b7d94e33e8f07a93e9dae117e3d3489.tar.xz eclipse.platform.text-451508235b7d94e33e8f07a93e9dae117e3d3489.zip |
Fixed bug 378603: Refresh on Access enabled -> still getting the popupv20120514-0947I20120514-2100I20120514-1900
dialog if I want to refresh
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java | 6 |
1 files changed, 2 insertions, 4 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 e008a5a1823..f8cf4a6059c 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 @@ -47,8 +47,7 @@ import org.eclipse.core.runtime.CoreException; import org.eclipse.core.runtime.IPath; import org.eclipse.core.runtime.IProgressMonitor; import org.eclipse.core.runtime.IStatus; -import org.eclipse.core.runtime.preferences.IEclipsePreferences; -import org.eclipse.core.runtime.preferences.InstanceScope; +import org.eclipse.core.runtime.Platform; import org.eclipse.core.resources.IFile; import org.eclipse.core.resources.IMarker; @@ -1496,8 +1495,7 @@ public abstract class AbstractDecoratedTextEditor extends StatusTextEditor { IEditorInput input= getEditorInput(); if (provider != null && input != 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)) + if (Platform.getPreferencesService().getBoolean(ResourcesPlugin.PI_RESOURCES, ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH, false, null)) return; } } |