Skip to content

Search pane should hide in more situations #17

Open
Open
Search pane should hide in more situations#17
@jason0x43

Description

@jason0x43
jason0x43
opened on Dec 6, 2017

At least, changing from docs to API, or changing doc sets, should cause the search pane to close and reset.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions