Skip to content

Change default search to find previous#77958

Merged
Tyriar merged 5 commits intomicrosoft:masterfrom
lramos15:change-search-behavior
Jul 26, 2019
Merged

Change default search to find previous#77958
Tyriar merged 5 commits intomicrosoft:masterfrom
lramos15:change-search-behavior

Conversation

@lramos15
Copy link
Member

This moves terminal search to follow what other terminals do and run incremental search on findPrevious with enter executing findPrevious and shift + enter executing find next. Closes #77891.

@lramos15 lramos15 added the terminal General terminal issues that don't fall under another label label Jul 25, 2019
@lramos15 lramos15 added this to the July 2019 milestone Jul 25, 2019
@lramos15 lramos15 requested a review from Tyriar July 25, 2019 21:05
this._register(this._findInput.onKeyDown((e) => {
if (e.equals(KeyCode.Enter)) {
this.find(false);
this.find(true);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this actually has to happen inside terminalFindWidget as simpleFindWidget is shared with the webview as well

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also add an explanation comment where this switch is as it might be confusing if you're just reading the code

@Tyriar Tyriar merged commit ddf57ac into microsoft:master Jul 26, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

terminal General terminal issues that don't fall under another label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Terminal search UX improvements

2 participants