Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonrad Kolosowski2004-06-16 11:23:52 -0400
committerKonrad Kolosowski2004-06-16 11:23:52 -0400
commit38f9ab3e961edd833caf65b867d0dc2637ae19de (patch)
tree2eeef67a4ac86bfba83b45e325be3722d3dae681 /org.eclipse.help.base/preferences.ini
parent18f84874d8a1173de98792e25cf1ebefd38d374d (diff)
downloadeclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.tar.gz
eclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.tar.xz
eclipse.platform.ua-38f9ab3e961edd833caf65b867d0dc2637ae19de.zip
*** empty log message ***
Diffstat (limited to 'org.eclipse.help.base/preferences.ini')
-rw-r--r--org.eclipse.help.base/preferences.ini8
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini
index 3c3e543b5..5d9809cb1 100644
--- a/org.eclipse.help.base/preferences.ini
+++ b/org.eclipse.help.base/preferences.ini
@@ -94,6 +94,14 @@ basic.viewBackground=#FFFFFF
# Example: locales=en ja zh_CN zh_TW
locales=
+###############################
+# Pre-built documentation index
+###############################
+
+# If pre-built documentation index is provided with the product, the ID of the plug-in delivering
+# the index must be specified to the help system here.
+#productIndex=com.my.plugin
+
######################
# Browsers
######################

Back to the top