Skip to content

ENH: add search box #673

Closed
Closed

Description

@bsipocz

Please describe the new feature.

Is this intentional that there isn't a search box on the site?

(I was doing triage for the currently open issues as was not able to just look for stuff on the website without looking into PRs/the content from the repo)

Add any other context about the new feature here, screenshots, etc.

No response

Activity

  1. stefanv commented on Sep 4, 2024

    @stefanv
    Member

    There's a PR on the theme to add search, but it hasn't been merged yet.

  2. added a commit that references this issue on Feb 4, 2026
    51ae0e6
  3. added a commit that references this issue on Feb 9, 2026
    c7675dd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions