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

Added prefix matching in search #2375

Merged
merged 18 commits into from Jan 22, 2024
Merged

Conversation

Hetarth02
Copy link
Contributor

@Hetarth02 Hetarth02 commented Dec 10, 2023

This PR aims to close Issue #2203.

image

Prefix search testing in Aqua.jl

Recording.2023-12-10.144506.mp4

Thanks @digital-carver for the suggestion!

@Hetarth02
Copy link
Contributor Author

@mortenpi Before merging, Where do I add the entry in CHANGELOG.md? In version 1.2.1 or any other place?

@fingolfin @fredrikekre If possible, can you verify if the prefix is working as intended?

@mortenpi mortenpi enabled auto-merge (squash) January 22, 2024 00:53
@mortenpi mortenpi added Type: Enhancement Format: HTML Related to the default HTML output labels Jan 22, 2024
Copy link
Member

@mortenpi mortenpi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! I tested it with Documenter's docs, and it seems to improve the relevance of the results quite a bit. Thanks!

@mortenpi mortenpi merged commit bbd7853 into JuliaDocs:master Jan 22, 2024
17 of 21 checks passed
@Hetarth02 Hetarth02 deleted the Issue-2203 branch January 23, 2024 17:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Format: HTML Related to the default HTML output Type: Enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants