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

Improve search #553

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Improve search #553

wants to merge 4 commits into from

Conversation

hloeung
Copy link
Collaborator

@hloeung hloeung commented Oct 6, 2023

Make it consistent with the scrollback and replay features.

Also, highlight matching search terms:

EeoTa7ZZ0h

@hloeung hloeung force-pushed the improve-search branch 3 times, most recently from 9393c07 to 5395485 Compare October 6, 2023 22:43
Make it consistent with the `scrollback` and replay. Also, allow
specifying a limit on the no. of posts matching the search terms and
emphasis matching search terms in bold.
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.

None yet

1 participant