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

Use Search input for Search #6687

Open
wants to merge 1 commit into
base: development
Choose a base branch
from

Conversation

coliff
Copy link
Contributor

@coliff coliff commented Oct 7, 2024

This has a few advantages, one of which is being able to press Escape to clear the input. It's more semantically correct too :-) (I edited the file using GitHub Web UI so not run tests locally, but I have tested the change in browser using dev tools)

PR Checklist

Before creating new PR, please take a look at checklist below to make sure that you've done everything that needs to be done before we can merge it.

  • read and followed the CONTRIBUTING.md guide.
  • built and tested the changes locally.
  • added/updated tests.
  • added/updated API documentation.
  • added/updated demos.

@lexasq lexasq mentioned this pull request Oct 29, 2024
5 tasks
This has a few advantages, one of which is being able to press <kbd>Escape</kbd> to clear the input. It's more semantically correct too :-)
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

Successfully merging this pull request may close these issues.

1 participant