Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCurtis D'Entremont2006-09-29 12:55:53 -0400
committerCurtis D'Entremont2006-09-29 12:55:53 -0400
commit31ea9a11e925baf9b88c5074b39df3aff2aea833 (patch)
tree6fb325061fb9b0a0efa4e0694203415cee053afe /org.eclipse.help.base/preferences.ini
parente404d076bfe3a3f8697b70119d415024919f8a1b (diff)
downloadeclipse.platform.ua-31ea9a11e925baf9b88c5074b39df3aff2aea833.tar.gz
eclipse.platform.ua-31ea9a11e925baf9b88c5074b39df3aff2aea833.tar.xz
eclipse.platform.ua-31ea9a11e925baf9b88c5074b39df3aff2aea833.zip
removed search option, cleanup, refactoring
Diffstat (limited to 'org.eclipse.help.base/preferences.ini')
-rw-r--r--org.eclipse.help.base/preferences.ini9
1 files changed, 0 insertions, 9 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini
index dae65a067..973eeb784 100644
--- a/org.eclipse.help.base/preferences.ini
+++ b/org.eclipse.help.base/preferences.ini
@@ -150,15 +150,6 @@ showDisabledActivityTopics=off
activeHelp=true
#########################
-# Searching
-#########################
-
-# Whether or not to show potential hits in the search results by default.
-# Potential hits may arise when search found a match in a section that may or may
-# not be filtered out. Note: Setting to false may adversely affect performance.
-show_potential_hits=true
-
-#########################
# Remote help
#########################
remoteHelpOn=false

Back to the top