Skip to content

Search should not be case-sensitive #2373

@mortenpi

Description

@mortenpi

In Documenter's own docs, searching for editurl doesn't yield any results:

image

But EditURL does:

image

We probably want to prioritize case-matches if we can, but I think we should not exclude results just because the case does not match.

FWIW, this seems to be a regression relative to the old search:

image

cc @Hetarth02

Metadata

Metadata

Assignees

No one assigned

    Labels

    Format: HTMLRelated to the default HTML output

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions