Skip to content

dev: improve documentation search index #5989

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

Merged
merged 1 commit into from
Aug 12, 2025

Conversation

ldez
Copy link
Member

@ldez ldez commented Aug 11, 2025

Parse all headings to retrieve the precise section, not the parent, when heading > h2.

I submitted the PR to the upstream with this approach imfing/hextra#740

@ldez ldez added this to the v2-unreleased milestone Aug 11, 2025
@ldez ldez added enhancement New feature or improvement area: docs labels Aug 11, 2025
@ldez ldez changed the title dev: improve search index dev: improve documentation search index Aug 11, 2025
Copy link
Member

@alexandear alexandear left a comment

Choose a reason for hiding this comment

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

Should we wait for a new release of nextra, since this has been merged upstream?

@ldez
Copy link
Member Author

ldez commented Aug 12, 2025

The theme is using zeroVer like Hugo, the current main branch contains breaking changes (i.e. Tailwind 4), also this project uses milestones as release scope; the v0.10.0 is not ready.

@ldez ldez merged commit 34ab0cb into golangci:main Aug 12, 2025
18 checks passed
@ldez ldez deleted the feat/docs-goodbye-replacements branch August 12, 2025 08:33
@ldez ldez modified the milestones: v2-unreleased, v2.4 Aug 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: docs enhancement New feature or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants