Skip to content

Improve search#553

Merged
hloeung merged 6 commits into
42wim:masterfrom
hloeung:improve-search
May 1, 2026
Merged

Improve search#553
hloeung merged 6 commits into
42wim:masterfrom
hloeung:improve-search

Conversation

@hloeung
Copy link
Copy Markdown
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.
NightTsarina added a commit to Tina-pm/matterircd that referenced this pull request Nov 17, 2024
@hloeung hloeung merged commit 633aded into 42wim:master May 1, 2026
4 checks passed
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