PawletOS/app_Settings
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

am e7b63681: am 0535ed55: Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev

Browse Source 
* commit 'e7b63681b2b328df4b885047f28f1681edcff356':
  Fix bug #17393417 Developer Options are not indexed after activating them
This commit is contained in:
Fabrice Di Meglio
2014-09-04 22:27:01 +00:00
committed by Android Git Automerger
parent fbf89801bc e7b63681b2
commit 96c5dd3cc4
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/com/android/settings/search/Index.java
View File

@@ -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() {