Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 0535ed55 authored by Fabrice Di Meglio's avatar Fabrice Di Meglio Committed by Android (Google) Code Review
Browse files

Merge "Fix bug #17393417 Developer Options are not indexed after activating them" into lmp-dev

parents 4a1b7b5f f91b4dbc

src/com/android/settings/search/Index.java

+1 −0
Original line number Diff line number Diff line
@@ -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() {