Skip to content

[rustdoc search] allow setting crates to search in before showing results #129537

@lolbinarycat

Description

@lolbinarycat

specifically, this would mean moving the #crate-search dropdown so it is available outside of the results screen.

on desktops, it could be moved into the <rustdoc-search> search form, and displayed in a single line. on mobile, it could be displayed directly underneath the search bar line.

this would significantly speed up searching through the nightly-rustc docs when you already know what crate you want to search, although it would require some small refactorings of rustdoc's search.js.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-rustdoc-searchArea: Rustdoc's search featureT-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions