commit 0535ed559eca51cce107309d05a3858ae48f5f20
author Fabrice Di Meglio <fdimeglio@google.com> Thu Sep 04 22:09:18 2014 +0000
committer Android (Google) Code Review <android-gerrit@google.com> Thu Sep 04 22:09:19 2014 +0000
tree 8a59e9828c70de12567050b255a16c4cd02a0c96
parent 4a1b7b5f942833937bd0e24082bb0dfff9e6ddf2
parent f91b4dbc331d3c84e06bcfed3338e38a043f4a13

Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev

src/com/android/settings/search/Index.java

diff --git a/src/com/android/settings/search/Index.java b/src/com/android/settings/search/Index.java
index db60dfe..3957cf6 100644
--- a/src/com/android/settings/search/Index.java
+++ b/src/com/android/settings/search/Index.java
@@ -185,6 +185,7 @@
             dataToUpdate = new ArrayList<SearchIndexableData>(other.dataToUpdate);
             dataToDelete = new ArrayList<SearchIndexableData>(other.dataToDelete);
             nonIndexableKeys = new HashMap<String, List<String>>(other.nonIndexableKeys);
+            forceUpdate = other.forceUpdate;
         }
 
         public UpdateData copy() {