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 search terms #82

Open
baccia opened this issue Jul 14, 2021 · 1 comment
Open

Highlight search terms #82

baccia opened this issue Jul 14, 2021 · 1 comment
Assignees
@ahankinson
Labels
Audience: General public Issues that affect our wider community Component: User Interface Issues that deal with the UI Type: Enhancement New features or improvements

Comments

@baccia
Copy link

baccia commented Jul 14, 2021

Highlight search terms in the result preview
@ahankinson ahankinson self-assigned this Jul 14, 2021
@ahankinson ahankinson added this to the Launch milestone Jul 14, 2021
@ahankinson ahankinson added Audience: General public Issues that affect our wider community Component: User Interface Issues that deal with the UI Priority: Low Type: Enhancement New features or improvements labels Jul 14, 2021
@ahankinson
Copy link
Contributor

Complicated, but can be done. Prioritizing other things higher, but will keep this on the to-do for the public launch.

@ahankinson ahankinson modified the milestones: Launch, Version 2.0 Oct 11, 2022
@ahankinson ahankinson removed this from the [] milestone Nov 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ahankinson ahankinson

Labels
Audience: General public Issues that affect our wider community Component: User Interface Issues that deal with the UI Type: Enhancement New features or improvements
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ahankinson @baccia