diff options
author | Fabrice Di Meglio <fdimeglio@google.com> | 2014-09-04 22:09:18 +0000 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2014-09-04 22:09:19 +0000 |
commit | 0535ed559eca51cce107309d05a3858ae48f5f20 (patch) | |
tree | 8a59e9828c70de12567050b255a16c4cd02a0c96 /src/com/android/settings/search | |
parent | 4a1b7b5f942833937bd0e24082bb0dfff9e6ddf2 (diff) | |
parent | f91b4dbc331d3c84e06bcfed3338e38a043f4a13 (diff) | |
download | packages_apps_Settings-0535ed559eca51cce107309d05a3858ae48f5f20.zip packages_apps_Settings-0535ed559eca51cce107309d05a3858ae48f5f20.tar.gz packages_apps_Settings-0535ed559eca51cce107309d05a3858ae48f5f20.tar.bz2 |
Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev
Diffstat (limited to 'src/com/android/settings/search')
-rw-r--r-- | src/com/android/settings/search/Index.java | 1 |
1 files changed, 1 insertions, 0 deletions
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 @@ 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() { |