Skip to content

Adds more details to factoid search#1089

Merged
ajax146 merged 3 commits intomainfrom
FactoidSearchRefactor
Jul 22, 2024
Merged

Adds more details to factoid search#1089
ajax146 merged 3 commits intomainfrom
FactoidSearchRefactor

Conversation

@ajax146
Copy link
Contributor

@ajax146 ajax146 commented Jul 22, 2024

Updates the help menu for factoid search (Fixes #993)
Makes factoid search paginated instead of limited (Fixes #779)
Makes factoid search show aliases when searching (Fixes #1022)

Adds match highlighting to name, content and embed_config to the search output.

@ajax146 ajax146 merged commit 4d2bd4d into main Jul 22, 2024
@ajax146 ajax146 deleted the FactoidSearchRefactor branch July 25, 2024 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

2 participants