diff options
author | Chris Goldthorpe | 2009-11-30 21:24:30 +0000 |
---|---|---|
committer | Chris Goldthorpe | 2009-11-30 21:24:30 +0000 |
commit | 4e84d864163b6e36de5bcaa5708ea42669bf1849 (patch) | |
tree | 8123c7b1db55936abea6c758c11d1d3adf93d06b /org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java | |
parent | c39c32c8fe53ee81f0571c212ecb4882d6fb7e27 (diff) | |
download | eclipse.platform.ua-4e84d864163b6e36de5bcaa5708ea42669bf1849.tar.gz eclipse.platform.ua-4e84d864163b6e36de5bcaa5708ea42669bf1849.tar.xz eclipse.platform.ua-4e84d864163b6e36de5bcaa5708ea42669bf1849.zip |
Diffstat (limited to 'org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java')
-rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java | 3 |
1 files changed, 2 insertions, 1 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 index 42a8f1187..1b57cbbf4 100644 --- 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 @@ -23,6 +23,7 @@ public interface IHelpBaseConstants { String P_KEY_ALWAYS_EXTERNAL_BROWSER = "always_external_browser"; //$NON-NLS-1$ String P_KEY_SEARCH_FROM_BROWSER = "search_from_browser"; //$NON-NLS-1$ String P_KEY_REMOTE_HELP_ON = "remoteHelpOn"; //$NON-NLS-1$ + String P_KEY_REMOTE_HELP_PREFERRED = "remoteHelpPreferred"; //$NON-NLS-1$ String P_KEY_REMOTE_HELP_NAME = "remoteHelpName"; //$NON-NLS-1$ String P_KEY_REMOTE_HELP_HOST = "remoteHelpHost"; //$NON-NLS-1$ String P_KEY_REMOTE_HELP_PATH = "remoteHelpPath"; //$NON-NLS-1$ @@ -30,5 +31,5 @@ public interface IHelpBaseConstants { String P_KEY_REMOTE_HELP_PORT = "remoteHelpPort"; //$NON-NLS-1$ String P_KEY_REMOTE_HELP_ICEnabled = "remoteHelpICEnabled"; //$NON-NLS-1$ String P_SHOW_BREADCRUMBS = "showBreadcrumbs"; //$NON-NLS-1$ - String P_PAGE_NOT_FOUND = "page_not_found"; //$NON-NLS-1$ + String P_PAGE_NOT_FOUND = "page_not_found"; //$NON-NLS-1$ } |