2 commits

Author	SHA1	Message	Date
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