From 52d6e877371204045d9b047b39f3d54672387258 Mon Sep 17 00:00:00 2001 From: Natali Date: Wed, 8 Feb 2023 20:46:11 +0100 Subject: [PATCH] workspace: fix input dialog styling (#12158) The commit fixes the styling of the `WorkspaceInputDialog` to include some additional padding between the content and the input. Signed-off-by: Natali --- packages/workspace/src/browser/workspace-input-dialog.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/workspace/src/browser/workspace-input-dialog.ts b/packages/workspace/src/browser/workspace-input-dialog.ts index bdff19779b746..226b222f4b6b8 100644 --- a/packages/workspace/src/browser/workspace-input-dialog.ts +++ b/packages/workspace/src/browser/workspace-input-dialog.ts @@ -51,6 +51,7 @@ export class WorkspaceInputDialog extends SingleTextInputDialog { icon.style.marginRight = '0.5em'; icon.style.verticalAlign = 'middle'; element.style.verticalAlign = 'middle'; + element.style.paddingBottom = '1em'; element.title = this.props.parentUri.path.fsPath(); element.appendChild(icon); element.appendChild(document.createTextNode(label));