| commit | 457ae09acc35e511c5423b3eeea5220ef719c4f4 | [log] [tgz] |
|---|---|---|
| author | alexmang <alexmang@google.com> | Sat Jul 18 14:34:12 2020 -0700 |
| committer | alexmang <alexmang@google.com> | Thu Jul 23 13:33:44 2020 -0700 |
| tree | 02f217e9d37401cc8ba2d94fa371da90ab5dd615 | |
| parent | 5ab7171b9ad233be57bac27e737782daafb8ab94 [diff] |
Add filtering of preferences in developer options Search will recursively go into each preference group and set visibility of preferences based on title match. If a preference group (category) has no preferences, we will hide that preference group as well. All queries and titles are sanitized by turning them to lower case and replacing underscores with spaces for convenience. Change-Id: Ibdc689d74d0c872c92c1d523bbc0efdb9e31aecd