tree 02f217e9d37401cc8ba2d94fa371da90ab5dd615
parent 5ab7171b9ad233be57bac27e737782daafb8ab94
author alexmang <alexmang@google.com> 1595108052 -0700
committer alexmang <alexmang@google.com> 1595536424 -0700

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