src/vs/workbench/contrib/search/browser/searchView.ts/SearchView/reLayout
class SearchView:	private reLayout(): void {
		if (this.isDisposed || !this.size) {
			return;
		}

		const actionsPosition = this.searchConfig.actionsPosition;
		this.getContainer().classList.toggle(SearchView.ACTIONS_RIGHT_CLASS_NAME, actionsPosition === 'right');

		this.searchWidget.setWidth(this.size.width - 28 /* container margin */);

		this.inputPatternExcludes.setWidth(this.size.width - 28 /* container margin */);
		this.inputPatternIncludes.setWidth(this.size.width - 28 /* container margin */);
		const widgetHeight = dom.getTotalHeight(this.searchWidget.domNode);
		const messagesHeight = dom.getTotalHeight(this.messagesElement);
		const margin = 25;
		this.tree.layout(this.size.height - widgetHeight - messagesHeight - margin, this.size.width - 28);
	}