src/vs/workbench/contrib/terminal/browser/terminalEditor.ts/TerminalEditor/hideFindWidget
class TerminalEditor:	hideFindWidget() {
		this._findWidgetVisible.reset();
		this.focus();
		this._findWidget.hide();
	}