diff options
Diffstat (limited to 'org.eclipse.help.base/preferences.ini')
-rw-r--r-- | org.eclipse.help.base/preferences.ini | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini index 49931d253..b373f9776 100644 --- a/org.eclipse.help.base/preferences.ini +++ b/org.eclipse.help.base/preferences.ini @@ -116,3 +116,13 @@ locales= # on - user can choose to show all topics, all topics intially shown # always - topic from disabled activites are shown (filtering disabled) showDisabledActivityTopics=off + +###################### +# Active (live) help disabling +###################### +# Allows enabling and disabling execution of active help +# The option does has no effect in the infocenter setup, where active help is disabled +# Accepted values: +# true - default active help actions enabled +# false - active help framework disabled +activeHelp=true
\ No newline at end of file |