Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.help.base/preferences.ini')
-rw-r--r--org.eclipse.help.base/preferences.ini10
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

Back to the top