src/vs/workbench/contrib/terminal/browser/terminalInstance.ts/TerminalInstance/notifyFindWidgetFocusChanged
class TerminalInstance:	notifyFindWidgetFocusChanged(isFocused: boolean): void {
		if (!this.xterm) {
			return;
		}
		const terminalFocused = !isFocused && (document.activeElement === this.xterm.raw.textarea || document.activeElement === this.xterm.raw.element);
		this._terminalFocusContextKey.set(terminalFocused);
	}