Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Searching string in the filter editor or the filtering log is too sluggish #1725
For example, open the filter editor and browse English filter, and then start typing "banner" in the search input field.
As I remember it wasn't that sluggish on previous versions.
I don't need to see the search result of the current input immediately, I want to see my input immediately. Search result for "bann" would be unnecessary, what is needed is a search result for the full word "banner". So can this search be done in some non-blocking way?