diff options
| author | Mazen Faraj | 2006-01-03 20:57:11 +0000 |
|---|---|---|
| committer | Mazen Faraj | 2006-01-03 20:57:11 +0000 |
| commit | e5a785822ae6f29507372a9e16140651349b12ae (patch) | |
| tree | e7afcd0324fab46d85fd6603466a9a4a051b9ac3 | |
| parent | 51c4bff7d6825d9687e176f12979725ebf477f3d (diff) | |
| download | eclipse.platform.ua-e5a785822ae6f29507372a9e16140651349b12ae.tar.gz eclipse.platform.ua-e5a785822ae6f29507372a9e16140651349b12ae.tar.xz eclipse.platform.ua-e5a785822ae6f29507372a9e16140651349b12ae.zip | |
| -rw-r--r-- | org.eclipse.help.base/preferences.ini | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini index a68451825..4c72557ad 100644 --- a/org.eclipse.help.base/preferences.ini +++ b/org.eclipse.help.base/preferences.ini @@ -15,6 +15,9 @@ banner_height= # Currently, the default home is /org.eclipse.help/doc/help_home.html. help_home=/org.eclipse.help.base/doc/help_home.html +# Set to true or false to control the visibility of the index view. +indexView=true + # Set to true or false to control the visibility of the related links view. # Note: this option has no effect in the infocenter. linksView=true @@ -145,3 +148,12 @@ showDisabledActivityTopics=off # true - default active help actions enabled # false - active help framework disabled activeHelp=true + +######################### +# Index tab customization +######################### + +indexInstruction=true +indexButton=true +indexPlusMinus=true +indexExpandAll=false |