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 | |
| 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')
| -rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java | 20 | ||||
| -rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java | 4 |
2 files changed, 21 insertions, 3 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java b/org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java new file mode 100644 index 000000000..27107c3e4 --- /dev/null +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java @@ -0,0 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2000, 2005 IBM Corporation and others. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ +package org.eclipse.help.internal.base; +/** + * Interface for holding Help UI plug-in constants + */ +public interface IHelpBaseConstants { + // Preference ids + public static final String P_KEY_WINDOW_INFOPOP = "window_infopop";//$NON-NLS-1$ + public static final String P_KEY_DIALOG_INFOPOP = "dialog_infopop";//$NON-NLS-1$ + public static final String P_KEY_ALWAYS_EXTERNAL_BROWSER = "always_external_browser"; //$NON-NLS-1$ +} 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)); } /** |