commit 8e4c299e254969836c9cf8952b82fc8659de76fe
author The Android Open Source Project <initial-contribution@android.com> Tue Jan 12 15:19:08 2010 -0800
committer The Android Open Source Project <initial-contribution@android.com> Tue Jan 12 15:19:08 2010 -0800
tree aeed061ca93773df19ef7ae837bb4e250a75b526
parent afc7480077e2e96815ed06652e7ef7030c306369

android-2.1_r1 snapshot

src/com/android/browser/BrowserPreferencesPage.java

diff --git a/src/com/android/browser/BrowserPreferencesPage.java b/src/com/android/browser/BrowserPreferencesPage.java
index fb0b2ba..1370722 100644
--- a/src/com/android/browser/BrowserPreferencesPage.java
+++ b/src/com/android/browser/BrowserPreferencesPage.java
@@ -98,8 +98,8 @@
                 }
             }
         });
-        GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set>() {
-            public void onReceiveValue(Set geolocationOrigins) {
+        GeolocationPermissions.getInstance().getOrigins(new ValueCallback<Set<String> >() {
+            public void onReceiveValue(Set<String> geolocationOrigins) {
                 if ((geolocationOrigins != null) && !geolocationOrigins.isEmpty()) {
                     websiteSettings.setEnabled(true);
                 }