4 commits

Author	SHA1	Message	Date
Milos Kozak	84a2c37055	unused code	2021-02-11 13:48:50 +01:00
Brian Quinion	66a651a062	Use TextInputEditText instead of TextView to preference filter	2020-12-08 23:29:20 +00:00
Brian Quinion	33431bd5a8	Add a clear button for preference filter, clean up layout a little	2020-11-24 11:43:59 +00:00
Brian Quinion	eaba35c024	Add a text filter to the top of preferences	2020-11-24 00:50:09 +00:00