From 3c02aa6f0d02de0a30976e98cde7a8ada1db7815 Mon Sep 17 00:00:00 2001
From: Konrad Kolosowski
Date: Tue, 16 Mar 2004 04:43:55 +0000
Subject: choice to always use external browser

---
 org.eclipse.help.base/preferences.ini | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'org.eclipse.help.base/preferences.ini')

diff --git a/org.eclipse.help.base/preferences.ini b/org.eclipse.help.base/preferences.ini
index d0e61eb42..d39fb91c0 100644
--- a/org.eclipse.help.base/preferences.ini
+++ b/org.eclipse.help.base/preferences.ini
@@ -92,4 +92,14 @@ basic.viewBackground=#FFFFFF
 # space requirements as navigations and indexes will be created for each distinct preferred locale
 # among browsers accessing the infocenter.
 # Example: locales=en ja zh_CN zh_TW
-locales=
\ No newline at end of file
+locales=
+
+######################
+# Browsers
+######################
+# Use embedded when possible, or always external
+#always_external_browser=
+# Default external browser
+#default_browser=
+# Executable path for custom browser
+#custom_browser_path=
\ No newline at end of file
-- 
cgit v1.2.3