From d26706538834e0ed58bf28f08d9a2885c0e7efcb Mon Sep 17 00:00:00 2001
From: Bjorn Bringert <bringert@android.com>
Date: Mon, 13 Sep 2010 14:06:41 +0100
Subject: Add user-selected search providers to browser

The lists of search providers are taken from Chrome.

Change-Id: I7af6dc1258950d1fc5cf86013f8be9f3c5db0f1a
---
 res/xml/browser_preferences.xml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'res/xml')

diff --git a/res/xml/browser_preferences.xml b/res/xml/browser_preferences.xml
index ee1b306..fd994e8 100644
--- a/res/xml/browser_preferences.xml
+++ b/res/xml/browser_preferences.xml
@@ -98,6 +98,20 @@
                 android:hint="@string/http"
                 android:inputType="textUri|textMultiLine" />
 
+        <!-- Entries and values in this list are set dynamically. -->
+        <com.android.browser.search.SearchEnginePreference
+                android:key="search_engine"
+                android:title="@string/pref_content_search_engine"
+                android:summary="@string/pref_content_search_engine_summary"
+                android:dialogTitle="@string/pref_content_search_engine" />
+
+        <CheckBoxPreference
+                android:key="show_search_suggestions"
+                android:defaultValue="true"
+                android:title="@string/pref_content_show_search_suggestions"
+                android:summaryOn="@string/pref_content_show_web_suggestions_summary_on"
+                android:summaryOff="@string/pref_content_show_web_suggestions_summary_off" />
+
     </PreferenceCategory>
 
     <PreferenceCategory
-- 
cgit v1.1