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.

Sign up for GitHub

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

Highlight matched characters in results #17

Open
bengry opened this issue Feb 10, 2022 · 0 comments
Open

Highlight matched characters in results #17

bengry opened this issue Feb 10, 2022 · 0 comments

Comments

@bengry
Copy link

bengry commented Feb 10, 2022 •
edited

It would be nice if we could customize the commands' HTML, or at least be able to natively highlight the matched characters in the text (using bold probably) while searching. I think this makes searching more intuitive and allows for better queries on the future.

This issue is somewhat related to #16.

The idea here to have a similar functionality to the VS Code command palette (or other IDEs like it) in this regard.
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
1 participant
@bengry