diff options
Diffstat (limited to 'org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java')
-rw-r--r-- | org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java b/org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java index 58bf2d38f..9052c85a4 100644 --- a/org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java +++ b/org.eclipse.help/src/org/eclipse/help/internal/HelpPlugin.java @@ -44,6 +44,7 @@ public class HelpPlugin extends Plugin { public final static String BASE_TOCS_KEY = "baseTOCS"; //$NON-NLS-1$ public final static String IGNORED_TOCS_KEY = "ignoredTOCS"; //$NON-NLS-1$ public final static String IGNORED_INDEXES_KEY = "ignoredIndexes"; //$NON-NLS-1$ + public final static String FILTER_INFOCENTER_KEY = "filterInfocenter"; //$NON-NLS-1$ private static HelpPlugin plugin; private static Object tocManagerCreateLock = new Object(); |