diff options
author | John Reck <jreck@google.com> | 2011-05-20 15:58:33 -0700 |
---|---|---|
committer | John Reck <jreck@google.com> | 2011-05-23 11:25:56 -0700 |
commit | b8b2af8be793c442add61afbe852d55ef978361c (patch) | |
tree | 1471dabf892882fe0dadaa0d8eaa8b117cea7d7a /src/com/android/browser/PreferenceKeys.java | |
parent | 659f958873c44772bcd36e3b0de3a0ee1d3b7244 (diff) | |
download | packages_apps_browser-b8b2af8be793c442add61afbe852d55ef978361c.zip packages_apps_browser-b8b2af8be793c442add61afbe852d55ef978361c.tar.gz packages_apps_browser-b8b2af8be793c442add61afbe852d55ef978361c.tar.bz2 |
Initial implementation of the useragent switcher
Change-Id: Iaa8262a678902645dbfaa8a53fe7212af7d9d53c
Diffstat (limited to 'src/com/android/browser/PreferenceKeys.java')
-rw-r--r-- | src/com/android/browser/PreferenceKeys.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/com/android/browser/PreferenceKeys.java b/src/com/android/browser/PreferenceKeys.java index f7230df..cff9f70 100644 --- a/src/com/android/browser/PreferenceKeys.java +++ b/src/com/android/browser/PreferenceKeys.java @@ -78,6 +78,7 @@ public interface PreferenceKeys { static final String PREF_USE_MOST_VISITED_HOMEPAGE = "use_most_visited_homepage"; static final String PREF_USE_INSTANT_SEARCH = "use_instant_search"; static final String PREF_FULLSCREEN = "fullscreen"; + static final String PREF_ENABLE_USERAGENT_SWITCHER = "enable_useragent_switcher"; // ---------------------- // Keys for privacy_security_preferences.xml |