diff options
| author | Chris Goldthorpe | 2007-08-23 17:52:48 +0000 |
|---|---|---|
| committer | Chris Goldthorpe | 2007-08-23 17:52:48 +0000 |
| commit | 01d4077466076d4ce3b0e8e18f1d61330e9a8dcf (patch) | |
| tree | 8c778c08435ca8a254d334b2e7761012388d2816 /org.eclipse.help.base/preferences.ini | |
| parent | c8f57d9aeedca33d312d4b224fa6a0fbc4e265eb (diff) | |
| download | eclipse.platform.ua-01d4077466076d4ce3b0e8e18f1d61330e9a8dcf.tar.gz eclipse.platform.ua-01d4077466076d4ce3b0e8e18f1d61330e9a8dcf.tar.xz eclipse.platform.ua-01d4077466076d4ce3b0e8e18f1d61330e9a8dcf.zip | |
Bug 200031 Custom 404 error page for a product's Help
Diffstat (limited to 'org.eclipse.help.base/preferences.ini')
| -rw-r--r-- | org.eclipse.help.base/preferences.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini index 27c8e05a9..ae7645284 100644 --- a/org.eclipse.help.base/preferences.ini +++ b/org.eclipse.help.base/preferences.ini @@ -15,6 +15,10 @@ banner_height= # Currently, the default home is /org.eclipse.help/doc/help_home.html. help_home=/org.eclipse.help.base/doc/help_home.html +# The page to show in the content area when a topic file cannot be opened +# If this variable is not specified the browser will show it's default 404 error page +page_not_found=/org.eclipse.help.base/doc/page_not_found.html + # Set to true or false to control the visibility of the index view. indexView=true |