Skip to content

Provide "Search or go to..." functionality #967

@josevalim

Description

@josevalim

The functionality should mirror the "search or jump to" functionality on GitHub.

Once the user types "foobar" in the search box, the first entry will be "Search foobar..." but below we will show any existing matching entry:

 |-----------------------------------|
 | -> | to_charlist                  |
 |-----------------------------------|
 | Search to_charlist...             |
 | Atom.to_charlist/1 (function)     |
 | Kernel.to_charlist/1 (function)   |
 | List.to_charlist/1 (function)     |
 | CharList (module)                 |
 |-----------------------------------|

As we press up and down, we can choose the search or to go straight to a given entry. Note this autocomplete functionality is exactly how the search works today, so we can likely just reuse the inner logic.

I am also aware we may need to change how the search is styled today or even move it elsewhere completely. Suggestions on this area are welcome.

Extra: to improve the usability we also should: provide shortcuts to all entries in the top right of the sidebar. For example, pressing s should start "Search". Pressing "c" should "Collapse/expand". And pressing "n" should toggle "Night/day mode".

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions