Make search history scrollable. #457

New issue

Copy link

New issue

Copy link

Closed

Closed

Make search history scrollable.#457

Copy link

Description

brendan-kellam

opened on Aug 12, 2025

Issue body actions

Discussed in #283

^{Originally posted by brendan-kellam April 29, 2025}
It would be convenient if the search history that is surfaced in the search suggestion box could be scrolled.

Reactions are currently unavailable

Activity

1. brendan-kellam

   closed this as completedon Aug 12, 2025

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

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app