Skip to content

Library search exact word enhancement #1915

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

Open
3 tasks done
mandria opened this issue Feb 23, 2023 · 0 comments
Open
3 tasks done

Library search exact word enhancement #1915

mandria opened this issue Feb 23, 2023 · 0 comments
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@mandria
Copy link

mandria commented Feb 23, 2023

Describe the request

i suggest a double quote search for an exact word like "midi" inside library search

Describe the current behavior

when i search inside the libraries using a word like midi that is so commonly part of other words,
result are pretty confusing

i've tried adding spaces before and after but is not working

thanks for your amazing work!

Arduino IDE version

2.0.4-nightly-20230223

Operating system

macOS

Operating system version

12.5

Additional context

No response

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@mandria mandria added the type: enhancement Proposed improvement label Feb 23, 2023
@per1234 per1234 added the topic: code Related to content of the project itself label Mar 8, 2023
@kittaakos kittaakos self-assigned this Apr 21, 2023
@kittaakos kittaakos removed their assignment Feb 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

No branches or pull requests

3 participants