outline - polish padding around inputbox

This commit is contained in:
Johannes Rieken
2018-06-08 09:37:37 +02:00
parent 63f7d0993e
commit 1c2f7668a7
2 changed files with 2 additions and 2 deletions
@@ -24,7 +24,7 @@
.monaco-workbench .outline-panel .outline-input {
box-sizing: border-box;
padding: 2px 9px 12px 9px;
padding: 2px 9px 5px 9px;
}
.monaco-workbench .outline-panel .outline-input .monaco-inputbox {
@@ -332,7 +332,7 @@ export class OutlinePanel extends ViewletPanel {
protected layoutBody(height: number = this._cachedHeight): void {
this._cachedHeight = height;
this._input.layout();
this._tree.layout(height - (dom.getTotalHeight(this._inputContainer) + 7 /*progressbar height, defined in outlinePanel.css*/));
this._tree.layout(height - (dom.getTotalHeight(this._inputContainer) + 5 /*progressbar height, defined in outlinePanel.css*/));
}
setVisible(visible: boolean): TPromise<void> {