Support key-bindings for "Find up" and "Find down" #5917

Closed
opened 2026-01-31 00:25:21 +00:00 by claunia · 6 comments
Owner

Originally created by @ad-on-is on GitHub (Jan 14, 2020).

Originally assigned to: @carlos-zamora on GitHub.

The default user-behaviour when searching something in code-editors is to "Ctrl+G" and "Ctrl+Shift+G" through the search results. Would be nice in addition to the current find-feature.

Originally created by @ad-on-is on GitHub (Jan 14, 2020). Originally assigned to: @carlos-zamora on GitHub. The default user-behaviour when searching something in code-editors is to "Ctrl+G" and "Ctrl+Shift+G" through the search results. Would be nice in addition to the current find-feature.
Author
Owner

@DHowett-MSFT commented on GitHub (Jan 16, 2020):

As a workaround, you can use Shift+Enter (instead of Enter) to flip the direction for a single search when the search flyout is open.

@DHowett-MSFT commented on GitHub (Jan 16, 2020): As a workaround, you can use <kbd>Shift+Enter</kbd> (instead of Enter) to flip the direction for a single search when the search flyout is open.
Author
Owner

@carlos-zamora commented on GitHub (May 12, 2020):

This should be a part of the #3920 scenario.

@carlos-zamora commented on GitHub (May 12, 2020): This should be a part of the #3920 scenario.
Author
Owner

@Don-Vito commented on GitHub (Dec 10, 2020):

@carlos-zamora - isn't it the same as https://github.com/microsoft/terminal/issues/7695. Since then it will be solved by @Hegunumo in https://github.com/microsoft/terminal/pull/8522

@Don-Vito commented on GitHub (Dec 10, 2020): @carlos-zamora - isn't it the same as https://github.com/microsoft/terminal/issues/7695. Since then it will be solved by @Hegunumo in https://github.com/microsoft/terminal/pull/8522
Author
Owner

@ad-on-is commented on GitHub (Dec 10, 2020):

@Don-Vito yes... it's the same. Thanks! 👍

@ad-on-is commented on GitHub (Dec 10, 2020): @Don-Vito yes... it's the same. Thanks! 👍
Author
Owner

@DHowett commented on GitHub (Dec 10, 2020):

/dup #7695 even though I don't love duping lower numbers to higher ones!

@DHowett commented on GitHub (Dec 10, 2020): /dup #7695 even though I don't love duping lower numbers to higher ones!
Author
Owner

@ghost commented on GitHub (Dec 10, 2020):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (Dec 10, 2020): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#5917