diff options
author | Dani Megert | 2011-04-27 16:03:33 +0000 |
---|---|---|
committer | Dani Megert | 2011-04-27 16:03:33 +0000 |
commit | 1c6b3b5d40c01d47041d4eac4373d7948d75576b (patch) | |
tree | ed20928f148edcbfaf7d15ea33f69f6e06805eee | |
parent | 1ae15c59c5a6dd0ce1e9e584ae80c7f0f6795039 (diff) | |
download | eclipse.platform.text-1c6b3b5d40c01d47041d4eac4373d7948d75576b.tar.gz eclipse.platform.text-1c6b3b5d40c01d47041d4eac4373d7948d75576b.tar.xz eclipse.platform.text-1c6b3b5d40c01d47041d4eac4373d7948d75576b.zip |
Fixed bug 248068: [misc] Text editor should not prompt if auto-refresh is enabledv20110427-1800
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditor.java | 2 |
1 files changed, 1 insertions, 1 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 48b9f663de8..06fd1eb6918 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 @@ -1467,7 +1467,7 @@ public abstract class AbstractDecoratedTextEditor extends StatusTextEditor { if (provider != null && input != null) { if (!provider.isDeleted(input) && !isDirty() && input.getAdapter(IFile.class) != null) { IEclipsePreferences pref= InstanceScope.INSTANCE.getNode(ResourcesPlugin.PI_RESOURCES); - if (pref != null && (pref.getBoolean(ResourcesPlugin.PREF_AUTO_REFRESH, false) || pref.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH, false))) + if (pref != null && pref.getBoolean(ResourcesPlugin.PREF_LIGHTWEIGHT_AUTO_REFRESH, false)) return; } } |