commit d69f51ddd5b6c28c9d16725e65facaf830d650e1
author Bjorn Bringert <bringert@android.com> Mon Sep 13 14:06:41 2010 +0100
committer Jean-Baptiste Queru <jbq@google.com> Wed Sep 15 06:49:01 2010 -0700
tree ed70a93eb15cc3bac3a6c764d7a54c80d2e6e83b
parent 03ea8cc5899caadd1f31a515e760920cadac94be

Add user-selected search providers to browser

The lists of search providers are taken from Chrome.

Change-Id: I320f43f06d3a79a3b7a065c73859853dedf0a6b5

res/xml/browser_preferences.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