Skip to content

Instead of hiding rustdoc search bar by default, disable it #64305

New issue
New issue
Closed
#66578
Closed
Instead of hiding rustdoc search bar by default, disable it#64305
#66578
Labels
C-enhancementCategory: An issue proposing an enhancement or a PR with one.T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.
@GuillaumeGomez

Description

@GuillaumeGomez
GuillaumeGomez
opened on Sep 9, 2019

It'd have the advantage of not having the not so pretty effect we have currently when the search bar "appears".

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: An issue proposing an enhancement or a PR with one.T-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