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 option to query history #10

Open
el6uap0 opened this issue Jul 30, 2014 · 0 comments
Open

Add a search option to query history #10

el6uap0 opened this issue Jul 30, 2014 · 0 comments

Comments

@el6uap0
Copy link

el6uap0 commented Jul 30, 2014

I'd like to be able to search through my history for some specific queries. Currently to find something in my history I can do a browser "find" and paginate. But with 18 pages of history, it's a time consuming and tedious process to try to find something in the history. A simple Search box on the top of the history that allowed a user to search through all of the query history and THEN paginate through results would be great.

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

No branches or pull requests

1 participant