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

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

Browse Source 
* commit '96c5dd3cc48457dfc8e50baf635136256af9f7ed':
  Fix bug #17393417 Developer Options are not indexed after activating them
This commit is contained in:
Fabrice Di Meglio
2014-09-04 22:32:49 +00:00
committed by Android Git Automerger
parent 6696748276 96c5dd3cc4
commit 3753fc8d69
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); dataToUpdate = new ArrayList<SearchIndexableData>(other.dataToUpdate);
dataToDelete = new ArrayList<SearchIndexableData>(other.dataToDelete); dataToDelete = new ArrayList<SearchIndexableData>(other.dataToDelete);
nonIndexableKeys = new HashMap<String, List<String>>(other.nonIndexableKeys); nonIndexableKeys = new HashMap<String, List<String>>(other.nonIndexableKeys);
forceUpdate = other.forceUpdate;
} }
public UpdateData copy() { public UpdateData copy() {