
+1
Completed
Add "Quick Filter" for Repositories
I have a lot of repositories in my [Repositories] window, and most of them are placed in groups, and typically collapsed when not needed. When I need to look for one particular repo which I know the name (or partial name), I need to expand the repo groups and search manually.
It should be nice if the bottom of the window includes a quick search text field to filter things out as I type.
Customer support service by UserEcho
Just start typing the repository name.