Fixes microsoft#140367: Take into account horizontal padding when layouting the editor

alexdima · alexdima · commit 8211dc3a081b · 2022-01-27T17:37:01.000+01:00
diff --git a/src/vs/workbench/contrib/extensions/browser/extensionsViewlet.ts b/src/vs/workbench/contrib/extensions/browser/extensionsViewlet.ts
@@ -575,7 +575,7 @@ export class ExtensionsViewPaneContainer extends ViewPaneContainer implements IE
 			this.root.classList.toggle('mini', dimension.width <= 200);
 		}
 		if (this.searchBox) {
-			this.searchBox.layout(new Dimension(dimension.width - 34, 20));
+			this.searchBox.layout(new Dimension(dimension.width - 34 - /*padding*/8, 20));
 		}
 		super.layout(new Dimension(dimension.width, dimension.height - 41));
 	}

Original file line number	Diff line number	Diff line change
`@@ -575,7 +575,7 @@ export class ExtensionsViewPaneContainer extends ViewPaneContainer implements IE`
`575`	`575`	`this.root.classList.toggle('mini', dimension.width <= 200);`
`576`	`576`	`}`
`577`	`577`	`if (this.searchBox) {`
`578`		`- this.searchBox.layout(new Dimension(dimension.width - 34, 20));`
	`578`	`+ this.searchBox.layout(new Dimension(dimension.width - 34 - /padding/8, 20));`
`579`	`579`	`}`
`580`	`580`	`super.layout(new Dimension(dimension.width, dimension.height - 41));`
`581`	`581`	`}`