Skip to content

Hotkey to open HTML search #2265

New issue
New issue
Closed
#2633
Closed
Hotkey to open HTML search#2265
#2633
Labels
enhancementAn issue for a feature or an overall improvementformat: htmlAn issue/PR related to Dokka's default HTML output format
@mikehearn

Description

@mikehearn
mikehearn
opened on Dec 8, 2021

It's normal to have a way to open the search bar using a hotkey e.g. / or Cmd-K.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementAn issue for a feature or an overall improvementformat: htmlAn issue/PR related to Dokka's default HTML output format

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions