[PR #14045] Show number of search results & positions of hits in scrollbar #29903

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

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

State: closed
Merged: Yes


This is a resurrection of #8588. That PR became painfully stale after the ControlCore split. Original description:

Summary of the Pull Request

This is a PoC for:

  • Search status in SearchBox (aka number of matches + index of the current match)
  • Live search (aka search upon typing)

Detailed Description of the Pull Request / Additional comments

  • Introduced this optionally (global setting to enable it)
  • The approach is following:
    • Every time the filter changes, enumerate all matches
    • Upon navigation just take the relevant match and select it

I cleaned it up a bit, and added support for also displaying the positions of the matches in the scrollbar (if showMarksOnScrollbar is also turned on).

It's also been made SUBSTANTIALLY easier after #15858 was merged.

Similar to before, searching while there's piles of output running isn't perfect. But it's pretty awful currently, so that's not the end of the world.

Gifs below.

Co-authored-by: Don-Vito khvitaly@gmail.com

**Original Pull Request:** https://github.com/microsoft/terminal/pull/14045 **State:** closed **Merged:** Yes --- This is a resurrection of #8588. That PR became painfully stale after the `ControlCore` split. Original description: > ## Summary of the Pull Request > This is a PoC for: > * Search status in SearchBox (aka number of matches + index of the current match) > * Live search (aka search upon typing) > ## Detailed Description of the Pull Request / Additional comments > * Introduced this optionally (global setting to enable it) > * The approach is following: > * Every time the filter changes, enumerate all matches > * Upon navigation just take the relevant match and select it > I cleaned it up a bit, and added support for also displaying the positions of the matches in the scrollbar (if `showMarksOnScrollbar` is also turned on). It's also been made SUBSTANTIALLY easier after #15858 was merged. Similar to before, searching while there's piles of output running isn't _perfect_. But it's pretty awful currently, so that's not the end of the world. Gifs below. * closes #8631 (which is a bullet point in #3920) * closes #6319 Co-authored-by: Don-Vito <khvitaly@gmail.com>
claunia added the pull-request label 2026-01-31 09:37:31 +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#29903