Fix #63685 - fix search input heights on panel resize

This commit is contained in:
Rob Lourens
2018-11-27 16:18:34 -08:00
parent 9e17c2c92c
commit fe62d9ce21
2 changed files with 2 additions and 0 deletions

View File

@@ -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 {