commit d1d87315942218816a509798a299612ed674c21c
author John Reck <jreck@google.com> Thu Mar 08 13:25:00 2012 -0800
committer John Reck <jreck@google.com> Thu Mar 08 13:25:00 2012 -0800
tree 3aa90e235da3572416e54fc6eaef12698e109bd5
parent 2cc8f6215927157ebdf60a7cc636fe29d2d565b6

Remove WebSettings from BrowserSettings in destroy

 Bug: 5776363

Change-Id: Id142c7096601c2316d71bd9443930080ce92c19c

src/com/android/browser/BrowserSettings.java

diff --git a/src/com/android/browser/BrowserSettings.java b/src/com/android/browser/BrowserSettings.java
index 4f4bb13..4fe93d6 100644
--- a/src/com/android/browser/BrowserSettings.java
+++ b/src/com/android/browser/BrowserSettings.java
@@ -161,6 +161,17 @@
         }
     }
 
+    public void stopManagingSettings(WebSettings settings) {
+        Iterator<WeakReference<WebSettings>> iter = mManagedSettings.iterator();
+        while (iter.hasNext()) {
+            WeakReference<WebSettings> ref = iter.next();
+            if (ref.get() == settings) {
+                iter.remove();
+                return;
+            }
+        }
+    }
+
     private Runnable mSetup = new Runnable() {
 
         @Override