commit 824faebe51bae769395ec1d7f590530df94b58d3
author Andrei Popescu <andreip@google.com> Tue Jul 21 18:24:06 2009 +0100
committer Andrei Popescu <andreip@google.com> Tue Jul 21 18:24:06 2009 +0100
tree 8d14ed7965cd9b302dd3aae9a935c0bf29a687ae
parent 3b3bf30ac65921a8627fb25c4ea05316b8e1ba98

wire appcache to HTML5 UI

src/com/android/browser/BrowserPreferencesPage.java

diff --git a/src/com/android/browser/BrowserPreferencesPage.java b/src/com/android/browser/BrowserPreferencesPage.java
index 2524eb8..4536b2c 100644
--- a/src/com/android/browser/BrowserPreferencesPage.java
+++ b/src/com/android/browser/BrowserPreferencesPage.java
@@ -18,6 +18,7 @@
 
 import java.util.List;
 import java.util.Vector;
+import java.util.Set;
 
 import android.content.Intent;
 import android.net.Uri;
@@ -93,7 +94,7 @@
         PreferenceScreen manageDatabases = (PreferenceScreen)
             findPreference(BrowserSettings.PREF_WEBSITE_SETTINGS);
         manageDatabases.setEnabled(false);
-        Vector origins = WebStorage.getInstance().getOrigins();
+        Set origins = WebStorage.getInstance().getOrigins();
         if ((origins != null) && (origins.size() > 0)) {
             manageDatabases.setEnabled(true);
         }