From f91b4dbc331d3c84e06bcfed3338e38a043f4a13 Mon Sep 17 00:00:00 2001
From: Fabrice Di Meglio <fdimeglio@google.com>
Date: Thu, 4 Sep 2014 15:04:23 -0700
Subject: [PATCH] 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 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/com/android/settings/search/Index.java b/src/com/android/settings/search/Index.java
index f5a2fa9464a..ca05f6d1853 100644
--- a/src/com/android/settings/search/Index.java
+++ b/src/com/android/settings/search/Index.java
@@ -185,6 +185,7 @@ public class Index {
             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() {