Skip to content

Add search to navbar#63

Merged
jimkring merged 3 commits intomainfrom
copilot/add-search-support-navbar
Apr 18, 2026
Merged

Add search to navbar#63
jimkring merged 3 commits intomainfrom
copilot/add-search-support-navbar

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 24, 2026

Enables the Material for MkDocs search features in the navbar by adding them under theme.features in mkdocs.yml. With no explicit plugins: section, MkDocs includes the search plugin automatically.

Changes

  • mkdocs.yml: Enable Material search features under theme.features:
    • search.suggest — query autocomplete while typing
    • search.highlight — highlights matched terms on the landing page
    • search.share — shareable search query URLs
Original prompt

This section details on the original issue you should resolve

<issue_title>add search support to navbar</issue_title>
<issue_description></issue_description>

Comments on the Issue (you are @copilot in this section)


📱 Kick off Copilot coding agent tasks wherever you are with GitHub Mobile, available on iOS and Android.

Co-authored-by: jimkring <381432+jimkring@users.noreply.github.com>
Agent-Logs-Url: https://github.com/vipm-io/docs/sessions/5705b3d1-86d5-43cf-9eb7-0a2415189d1a
Copilot AI changed the title [WIP] Add search support to navbar Add search to navbar Mar 24, 2026
Copilot AI requested a review from jimkring March 24, 2026 23:27
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 18, 2026

PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-04-18 18:11 UTC

@jimkring jimkring marked this pull request as ready for review April 18, 2026 17:20
@jimkring
Copy link
Copy Markdown
Contributor

@copilot Please rebase and resolve conflicts

Co-authored-by: jimkring <381432+jimkring@users.noreply.github.com>
Copy link
Copy Markdown
Contributor Author

Copilot AI commented Apr 18, 2026

@copilot Please rebase and resolve conflicts

Done. Rebased onto main in a6f7b5d — resolved the conflict in mkdocs.yml by syncing the changes from the Zensical migration (added copyright, removed hooks and plugins sections). The search.suggest/search.highlight/search.share features are preserved; with no plugins: section, MkDocs now includes search automatically.

@jimkring jimkring merged commit 8162cba into main Apr 18, 2026
3 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.

add search support to navbar

2 participants