diff options
author | Curtis D'Entremont | 2006-09-29 16:55:53 +0000 |
---|---|---|
committer | Curtis D'Entremont | 2006-09-29 16:55:53 +0000 |
commit | 31ea9a11e925baf9b88c5074b39df3aff2aea833 (patch) | |
tree | 6fb325061fb9b0a0efa4e0694203415cee053afe /org.eclipse.help.base/preferences.ini | |
parent | e404d076bfe3a3f8697b70119d415024919f8a1b (diff) | |
download | eclipse.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.ini | 9 |
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 |