fix extension viewlet shift

This commit is contained in:
Joao Moreno 2019-11-12 10:39:40 +01:00
parent a8f5f3e0a7
commit 337ab02cd1
No known key found for this signature in database
GPG key ID: 9494F5E6167A8E6B
2 changed files with 2 additions and 2 deletions

View file

@ -442,7 +442,7 @@ export class ExtensionsViewlet extends ViewContainerViewlet implements IExtensio
if (this.searchBox) { if (this.searchBox) {
this.searchBox.layout({ height: 20, width: dimension.width - 34 }); 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 { getOptimalWidth(): number {

View file

@ -25,7 +25,7 @@
} }
.extensions-viewlet > .extensions { .extensions-viewlet > .extensions {
height: calc(100% - 38px); height: calc(100% - 41px);
} }
.extensions-viewlet > .extensions .extension-view-header .monaco-action-bar { .extensions-viewlet > .extensions .extension-view-header .monaco-action-bar {