From 097b1e777a2a29eef3938338cb0c355203bf1448 Mon Sep 17 00:00:00 2001
From: Grace Kloba <klobag@google.com>
Date: Tue, 24 Nov 2009 14:23:18 -0800
Subject: [PATCH] Add PageCacheCapacity to the WebSettings.

By default, page cache is disabled.

http://b/issue?id=2284168
---
 core/java/android/webkit/WebSettings.java | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/core/java/android/webkit/WebSettings.java b/core/java/android/webkit/WebSettings.java
index 8e40b23abaebc..d5bb572ac8014 100644
--- a/core/java/android/webkit/WebSettings.java
+++ b/core/java/android/webkit/WebSettings.java
@@ -152,6 +152,7 @@ public class WebSettings {
     private int             mMinimumLogicalFontSize = 8;
     private int             mDefaultFontSize = 16;
     private int             mDefaultFixedFontSize = 13;
+    private int             mPageCacheCapacity = 0;
     private boolean         mLoadsImagesAutomatically = true;
     private boolean         mBlockNetworkImage = false;
     private boolean         mBlockNetworkLoads;
@@ -878,6 +879,20 @@ public class WebSettings {
         return mDefaultFixedFontSize;
     }
 
+    /**
+     * Set the number of pages cached by the WebKit for the history navigation.
+     * @param size A non-negative integer between 0 (no cache) and 20 (max).
+     * @hide
+     */
+    public synchronized void setPageCacheCapacity(int size) {
+        if (size < 0) size = 0;
+        if (size > 20) size = 20;
+        if (mPageCacheCapacity != size) {
+            mPageCacheCapacity = size;
+            postSync();
+        }
+    }
+
     /**
      * Tell the WebView to load image resources automatically.
      * @param flag True if the WebView should load images automatically.