From ebc70d445fd7fc77e84de200efebf2147170db91 Mon Sep 17 00:00:00 2001 From: Daniel Imms <2193314+Tyriar@users.noreply.github.com> Date: Thu, 29 Jun 2023 12:50:22 -0700 Subject: [PATCH] Fix regex and whole word terminal toggles Fixes #186375 --- .../find/browser/terminal.find.contribution.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/terminalContrib/find/browser/terminal.find.contribution.ts b/src/vs/workbench/contrib/terminalContrib/find/browser/terminal.find.contribution.ts index 447dd9a0a81..5b9410b554e 100644 --- a/src/vs/workbench/contrib/terminalContrib/find/browser/terminal.find.contribution.ts +++ b/src/vs/workbench/contrib/terminalContrib/find/browser/terminal.find.contribution.ts @@ -121,7 +121,7 @@ registerActiveInstanceAction({ precondition: ContextKeyExpr.or(TerminalContextKeys.processSupported, TerminalContextKeys.terminalHasBeenCreated), run: (activeInstance) => { const state = TerminalFindContribution.get(activeInstance)?.findWidget.state; - state?.change({ matchCase: !state.isRegex }, false); + state?.change({ isRegex: !state.isRegex }, false); } }); @@ -137,7 +137,7 @@ registerActiveInstanceAction({ precondition: ContextKeyExpr.or(TerminalContextKeys.processSupported, TerminalContextKeys.terminalHasBeenCreated), run: (activeInstance) => { const state = TerminalFindContribution.get(activeInstance)?.findWidget.state; - state?.change({ matchCase: !state.wholeWord }, false); + state?.change({ wholeWord: !state.wholeWord }, false); } });