Skip to content

Search hint for new users #1517

Open
#2713
Open
Search hint for new users#1517
#2713
Labels
help wanted

Description

@ojeytonwilliams
ojeytonwilliams
opened on Apr 7, 2021

I think it would be good to provide a hint for users that they can hit tab to search a specific doc — maybe there should be an indicator like Chrome has?
Screenshot_2021-04-05 13 46 06

Originally posted by @j-f1 in #1516 (comment)

Activity

  1. ojeytonwilliams
    added
    help wanted
    on Apr 7, 2021

  2. vicgolding commented on Feb 27, 2026

    @vicgolding
    vicgolding
    on Feb 27, 2026

    Hi, I'd like to work on this if it's still of interest!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    help wanted

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions