Skip to content

Fix cannot hide terminal find widget when pressing esc#183090

Merged
Tyriar merged 3 commits into
microsoft:mainfrom
jeanp413:fix-183087
May 23, 2023
Merged

Fix cannot hide terminal find widget when pressing esc#183090
Tyriar merged 3 commits into
microsoft:mainfrom
jeanp413:fix-183087

Conversation

@jeanp413

@jeanp413 jeanp413 commented May 22, 2023

Copy link
Copy Markdown
Contributor

Fixes #183087

Before, find contribution was using the global contextService so context keys values were incorrect, convert to a proper terminal contribution so the terminal instance scoped contextService is used instead.

cc @Tyriar

Comment thread src/vs/workbench/contrib/terminal/browser/terminalInstance.ts
@Tyriar Tyriar enabled auto-merge May 23, 2023 15:50
@Tyriar Tyriar merged commit 1a6ca93 into microsoft:main May 23, 2023
@jeanp413 jeanp413 deleted the fix-183087 branch May 23, 2023 18:32
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Cannot hide terminal find widget when pressing esc

4 participants