From 3d8b70cc80a42ce1b7146aade2a4a0fca0b1eba2 Mon Sep 17 00:00:00 2001
From: Andrei Popescu <andreip@google.com>
Date: Fri, 19 Mar 2010 20:44:21 +0000
Subject: Diasble page cache on high-end devices while b: 2525377 is not fixed.

---
 src/com/android/browser/BrowserSettings.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/com/android/browser/BrowserSettings.java b/src/com/android/browser/BrowserSettings.java
index 7b55edf..f58478f 100644
--- a/src/com/android/browser/BrowserSettings.java
+++ b/src/com/android/browser/BrowserSettings.java
@@ -257,10 +257,14 @@ class BrowserSettings extends Observable {
         // the cost of one cached page is ~3M (measured using nytimes.com). For
         // low end devices, we only cache one page. For high end devices, we try
         // to cache more pages, currently choose 5.
+        //
+        // Note: the page cache is disabled on high-end devices due to an
+        // incompatibility with V8. TODO: re-enable the page cache once the
+        // problem with V8 is solved.
         ActivityManager am = (ActivityManager) ctx
                 .getSystemService(Context.ACTIVITY_SERVICE);
         if (am.getMemoryClass() > 16) {
-            pageCacheCapacity = 5;
+            pageCacheCapacity = 0;
         } else {
             pageCacheCapacity = 1;
         }
-- 
cgit v1.1