diff options
| author | Mike Rennie | 2012-05-30 14:25:23 +0000 |
|---|---|---|
| committer | Mike Rennie | 2012-05-30 14:25:23 +0000 |
| commit | f579798a3de7a3eddd44af6673ba1998a1778d37 (patch) | |
| tree | 963631dcd514b4df86bf740b748725c36eeb6794 | |
| parent | 7dbd30f7aa22cf49e9be64886bce2034d110293f (diff) | |
| download | eclipse.jdt.debug-f579798a3de7a3eddd44af6673ba1998a1778d37.tar.gz eclipse.jdt.debug-f579798a3de7a3eddd44af6673ba1998a1778d37.tar.xz eclipse.jdt.debug-f579798a3de7a3eddd44af6673ba1998a1778d37.zip | |
Bug 380939 - "Restore Defaults" doesn't work for "Launch timeout"v20120530-1425I20120530-2100I20120530-1900
preference
| -rw-r--r-- | org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaDebugPreferencePage.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaDebugPreferencePage.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaDebugPreferencePage.java index 1c0daccf9..a0d677820 100644 --- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaDebugPreferencePage.java +++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaDebugPreferencePage.java @@ -239,7 +239,7 @@ public class JavaDebugPreferencePage extends PreferencePage implements IWorkbenc fPerformHCRWithCompilationErrors.setSelection(prefs.getBoolean(JDIDebugModel.PREF_HCR_WITH_COMPILATION_ERRORS, true)); fTimeoutText.setStringValue(new Integer(prefs.getInt(JDIDebugModel.PREF_REQUEST_TIMEOUT, JDIDebugModel.DEF_REQUEST_TIMEOUT)).toString()); } - prefs = InstanceScope.INSTANCE.getNode(LaunchingPlugin.ID_PLUGIN); + prefs = DefaultScope.INSTANCE.getNode(LaunchingPlugin.ID_PLUGIN); if(prefs != null) { fConnectionTimeoutText.setStringValue(new Integer(prefs.getInt(JavaRuntime.PREF_CONNECT_TIMEOUT,JavaRuntime.DEF_CONNECT_TIMEOUT)).toString()); } |