diff options
author | Konrad Kolosowski | 2005-04-29 16:27:26 +0000 |
---|---|---|
committer | Konrad Kolosowski | 2005-04-29 16:27:26 +0000 |
commit | 4f83c59133da6384896bebaade6e0b47acb9fed8 (patch) | |
tree | bf6ae48a29466556f108781afe67d1f92d6e30e5 /org.eclipse.help.base/src/org/eclipse/help/internal/browser | |
parent | d1b33b2a37612a4c11b776a54f222d7773dc8829 (diff) | |
download | eclipse.platform.ua-4f83c59133da6384896bebaade6e0b47acb9fed8.tar.gz eclipse.platform.ua-4f83c59133da6384896bebaade6e0b47acb9fed8.tar.xz eclipse.platform.ua-4f83c59133da6384896bebaade6e0b47acb9fed8.zip |
93240 Preference 'Help > Use external browser' is not saved
Diffstat (limited to 'org.eclipse.help.base/src/org/eclipse/help/internal/browser')
-rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java index 81b7004ae..3f5409e68 100644 --- a/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java @@ -22,8 +22,6 @@ import org.eclipse.osgi.util.NLS; * Creates browser by delegating to appropriate browser adapter */ public class BrowserManager { - public static final String ALWAYS_EXTERNAL_BROWSER_KEY = "always_external_browser"; //$NON-NLS-1$ - public static final String DEFAULT_BROWSER_ID_KEY = "default_browser"; //$NON-NLS-1$ public static final String BROWSER_ID_CUSTOM = HelpBasePlugin.PLUGIN_ID @@ -176,7 +174,7 @@ public class BrowserManager { setCurrentBrowserID(getDefaultBrowserID()); } setAlwaysUseExternal(HelpBasePlugin.getDefault().getPluginPreferences() - .getBoolean(ALWAYS_EXTERNAL_BROWSER_KEY)); + .getBoolean(IHelpBaseConstants.P_KEY_ALWAYS_EXTERNAL_BROWSER)); } /** |