From b9f82d07e0b1ae1f8485fb7db250d977f0428bab Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Thu, 21 Feb 2019 19:12:51 +0000 Subject: [PATCH] Fix #68977 - fix search widget mirror width --- src/vs/base/browser/ui/findinput/findInput.ts | 6 +++++- src/vs/base/browser/ui/inputbox/inputBox.ts | 4 ++++ src/vs/workbench/contrib/search/browser/searchWidget.ts | 1 + 3 files changed, 10 insertions(+), 1 deletion(-) diff --git a/src/vs/base/browser/ui/findinput/findInput.ts b/src/vs/base/browser/ui/findinput/findInput.ts index 59275522535..38a5082b141 100644 --- a/src/vs/base/browser/ui/findinput/findInput.ts +++ b/src/vs/base/browser/ui/findinput/findInput.ts @@ -337,7 +337,11 @@ export class FindInput extends Widget { })); if (this._showOptionButtons) { - this.inputBox.inputElement.style.paddingRight = (this.caseSensitive.width() + this.wholeWords.width() + this.regex.width()) + 'px'; + const paddingRight = (this.caseSensitive.width() + this.wholeWords.width() + this.regex.width()) + 'px'; + this.inputBox.inputElement.style.paddingRight = paddingRight; + if (this.inputBox.mirrorElement) { + this.inputBox.mirrorElement.style.paddingRight = paddingRight; + } } // Arrow-Key support to navigate between options diff --git a/src/vs/base/browser/ui/inputbox/inputBox.ts b/src/vs/base/browser/ui/inputbox/inputBox.ts index 01fe9dcaa36..530a9061b59 100644 --- a/src/vs/base/browser/ui/inputbox/inputBox.ts +++ b/src/vs/base/browser/ui/inputbox/inputBox.ts @@ -230,6 +230,10 @@ export class InputBox extends Widget { } } + public get mirrorElement(): HTMLElement { + return this.mirror; + } + public get inputElement(): HTMLInputElement { return this.input; } diff --git a/src/vs/workbench/contrib/search/browser/searchWidget.ts b/src/vs/workbench/contrib/search/browser/searchWidget.ts index 963cdade9f0..3416708e601 100644 --- a/src/vs/workbench/contrib/search/browser/searchWidget.ts +++ b/src/vs/workbench/contrib/search/browser/searchWidget.ts @@ -169,6 +169,7 @@ export class SearchWidget extends Widget { } setWidth(width: number) { + this.searchInput.inputBox.layout(); this.replaceInput.width = width - 28; this.replaceInput.layout(); } -- GitLab