Fix #68977 - fix search widget mirror width

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

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;
 	}

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();
 	}