[PR #17516] Avoid covering current search highlight with search box #31253

Open
opened 2026-01-31 09:46:06 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/17516

State: closed
Merged: Yes


Summary of the Pull Request

Adds a scroll offset to avoid hiding the current search highlight with
the search box.

  • Offset is based on the number of rows that the search box takes up. (I am not totally sure I am calculating this right)
  • This won't help when the current highlight is in the first couple rows of the buffer.

Fixes: #4407

search-scroll-offset

**Original Pull Request:** https://github.com/microsoft/terminal/pull/17516 **State:** closed **Merged:** Yes --- ## Summary of the Pull Request Adds a scroll offset to avoid hiding the current search highlight with the search box. - Offset is based on the number of rows that the search box takes up. (I am not totally sure I am calculating this right) - This won't help when the current highlight is in the first couple rows of the buffer. Fixes: #4407 ![search-scroll-offset](https://github.com/microsoft/terminal/assets/811029/2da62a41-a0c2-4141-ab92-58172688224d)
claunia added the pull-request label 2026-01-31 09:46:06 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#31253