Don't let results hide under search box #6205

Open
opened 2026-01-31 00:32:18 +00:00 by claunia · 0 comments
Owner

Originally created by @fredless on GitHub (Jan 30, 2020).

Description of the new feature/enhancement

Sometimes a search result can hide under the search box, this is confusing to the uninitiated. Search should always show the found item without hiding it under a UI element.
hidingUnderSearchBox

Proposed technical implementation details (optional)

Perhaps scroll the search result further up to pad it away from the search box in most situations - not very elegant though.

Originally created by @fredless on GitHub (Jan 30, 2020). # Description of the new feature/enhancement Sometimes a search result can hide under the search box, this is confusing to the uninitiated. Search should always show the found item without hiding it under a UI element. ![hidingUnderSearchBox](https://user-images.githubusercontent.com/16697069/73428988-61951a80-42ef-11ea-9421-d89c66a20cee.gif) # Proposed technical implementation details (optional) Perhaps scroll the search result further up to pad it away from the search box in most situations - not very elegant though.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#6205