From 5f8f10b5111a71f1a5903b775edf5a20689accb0 Mon Sep 17 00:00:00 2001 From: jeanp413 Date: Wed, 12 Jul 2023 19:53:36 -0500 Subject: [PATCH] Fix #186781 --- .../contrib/terminalContrib/find/browser/terminalFindWidget.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/terminalContrib/find/browser/terminalFindWidget.ts b/src/vs/workbench/contrib/terminalContrib/find/browser/terminalFindWidget.ts index 2a3587555c5a1..2dc2579d56e5a 100644 --- a/src/vs/workbench/contrib/terminalContrib/find/browser/terminalFindWidget.ts +++ b/src/vs/workbench/contrib/terminalContrib/find/browser/terminalFindWidget.ts @@ -84,7 +84,7 @@ export class TerminalFindWidget extends SimpleFindWidget { override hide() { super.hide(); this._findWidgetVisible.reset(); - this._instance.focus(); + this._instance.focus(true); this._instance.xterm?.clearSearchDecorations(); }