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

Jump to bottom

Search gives no feedback when nothing found #84

Closed
Juerd opened this issue May 24, 2015 · 3 comments
Closed

Search gives no feedback when nothing found #84

Juerd opened this issue May 24, 2015 · 3 comments

Comments

@Juerd
Copy link
Contributor

Juerd commented May 24, 2015

Expected: some kind of "no results". Got: no feedback.
@ab5tract
Copy link
Contributor

This was fixed with the merging of the 'choices' branch.

@moritz
Copy link
Collaborator

moritz commented Jun 13, 2015

@ab5tract I think Juerd talked about the search box in the web page, not the p6doc command line tool. @Juerd, please correct me if I'm wrong.

@moritz moritz reopened this Jun 13, 2015
@ab5tract
Copy link
Contributor

Good point @moritz :)

@smls smls added idea labels Aug 6, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@ab5tract @moritz @Juerd @smls @AlexDaniel