Skip to content

Add search to navbar#63

Draft
Copilot wants to merge 2 commits intomainfrom
copilot/add-search-support-navbar
Draft

Add search to navbar#63
Copilot wants to merge 2 commits intomainfrom
copilot/add-search-support-navbar

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 24, 2026

When a plugins: section is defined in MkDocs, the default search plugin is no longer automatically included — it was silently dropped when redirects was added.

Changes

  • mkdocs.yml: Explicitly add search to the plugins: list to restore the navbar search bar
  • 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
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