diff --git a/src/vs/base/browser/ui/findinput/findInput.ts b/src/vs/base/browser/ui/findinput/findInput.ts index 50116b7f9d3..df0567032a3 100644 --- a/src/vs/base/browser/ui/findinput/findInput.ts +++ b/src/vs/base/browser/ui/findinput/findInput.ts @@ -286,6 +286,7 @@ export class FindInput extends Widget { private setInputWidth(): void { let w = this.width - this.caseSensitive.width() - this.wholeWords.width() - this.regex.width(); this.inputBox.width = w; + this.inputBox.layout(); } private buildDomNode(appendCaseSensitiveLabel: string, appendWholeWordsLabel: string, appendRegexLabel: string, history: string[], flexibleHeight: boolean): void { diff --git a/src/vs/workbench/parts/search/browser/searchWidget.ts b/src/vs/workbench/parts/search/browser/searchWidget.ts index 689933f925f..3f228237292 100644 --- a/src/vs/workbench/parts/search/browser/searchWidget.ts +++ b/src/vs/workbench/parts/search/browser/searchWidget.ts @@ -167,6 +167,7 @@ export class SearchWidget extends Widget { public setWidth(width: number) { this.searchInput.setWidth(width); this.replaceInput.width = width - 28; + this.replaceInput.layout(); } public clear() {