Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2012-05-14 09:47:16 +0000
committerDani Megert2012-05-14 09:47:16 +0000
commit451508235b7d94e33e8f07a93e9dae117e3d3489 (patch)
treebf9e0ab63e3de600e5873624209bfac7062859d8
parent4d478fe89dad590e34017386b29694213800ec1f (diff)
downloadeclipse.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.java6
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;
}
}

Back to the top