Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a search box on the tree/graph view on Explore page, similar to the search box on List view #63

Closed
pgleeson opened this issue Nov 11, 2013 · 1 comment

Comments

@pgleeson
Copy link
Member

No description provided.

@pgleeson
Copy link
Member Author

Doesn't actually make much sense, since the appropriate branches for the matching search terms would have to be expanded, otherwise there would be too few matches

Also, there's a perfectly fine search box at the top of the page...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants