fix extension viewlet shift

joaomoreno · joaomoreno · commit 337ab02cd128 · 2019-11-12T10:39:47.000+01:00
diff --git a/src/vs/workbench/contrib/extensions/browser/extensionsViewlet.ts b/src/vs/workbench/contrib/extensions/browser/extensionsViewlet.ts
@@ -442,7 +442,7 @@ export class ExtensionsViewlet extends ViewContainerViewlet implements IExtensio
 		if (this.searchBox) {
 			this.searchBox.layout({ height: 20, width: dimension.width - 34 });
 		}
-		super.layout(new Dimension(dimension.width, dimension.height - 38));
+		super.layout(new Dimension(dimension.width, dimension.height - 41));
 	}
 
 	getOptimalWidth(): number {
diff --git a/src/vs/workbench/contrib/extensions/browser/media/extensionsViewlet.css b/src/vs/workbench/contrib/extensions/browser/media/extensionsViewlet.css
@@ -25,7 +25,7 @@
 }
 
 .extensions-viewlet > .extensions {
-	height: calc(100% - 38px);
+	height: calc(100% - 41px);
 }
 
 .extensions-viewlet > .extensions .extension-view-header .monaco-action-bar {

Original file line number	Diff line number	Diff line change
`@@ -442,7 +442,7 @@ export class ExtensionsViewlet extends ViewContainerViewlet implements IExtensio`
`442`	`442`	`if (this.searchBox) {`
`443`	`443`	`this.searchBox.layout({ height: 20, width: dimension.width - 34 });`
`444`	`444`	`}`
`445`		`- super.layout(new Dimension(dimension.width, dimension.height - 38));`
	`445`	`+ super.layout(new Dimension(dimension.width, dimension.height - 41));`
`446`	`446`	`}`
`447`	`447`
`448`	`448`	`getOptimalWidth(): number {`
Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	`.extensions-viewlet > .extensions {`
`28`		`- height: calc(100% - 38px);`
	`28`	`+ height: calc(100% - 41px);`
`29`	`29`	`}`
`30`	`30`
`31`	`31`	`.extensions-viewlet > .extensions .extension-view-header .monaco-action-bar {`