commit f91b4dbc331d3c84e06bcfed3338e38a043f4a13
author Fabrice Di Meglio <fdimeglio@google.com> Thu Sep 04 15:04:23 2014 -0700
committer Fabrice Di Meglio <fdimeglio@google.com> Thu Sep 04 15:04:23 2014 -0700
tree e5849af91d72444f8dae1bb0324cea28eaa47d32
parent bde55601ba5695894b7f9b8c7f61fd6694f9b459

Fix bug #17393417 Developer Options are not indexed after activating them

- add forceUpdate field copy in the UpdateData copy constructor

Change-Id: I245ce76bf9798c359219e153d2af9d08e7e11903

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 f5a2fa9..ca05f6d 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() {